Minimal StructuresFor Modal Tableaux: Some Examples

&
Logic and Logical Philosophy 8:99-114 (2000)
  Copy   BIBTEX

Abstract

In this paper we present some examples of decision proceduresbased on tableau calculus for some mono- and multimodal logics having asemantics involving properties that are not easily representable in tree-likestructures . We show how tohandle them in our framework by generalizing usual tableaux to richer structures: rooted directed acyclic graphs

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,532

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Minimal structures for modal tableaux: Some examples.Luis Fariñas del Cerro & Olivier Gasquet - 2004 - Logic and Logical Philosophy 8:99.
Modal tableaux for reasoning about diagrams.Luis Fariñas del Cerro & Olivier Gasquet - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):169-184.
A general framework for pattern-driven modal tableaux.Luis Fariñas Del Cerro & Olivier Gasquet - 2002 - Logic Journal of the IGPL 10 (1):51-83.
Free-variable tableaux for propositional modal logics.Bernhard Beckert & Rajeev GorÉ - 2001 - Studia Logica 69 (1):59-96.
Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets.Tomasz Jarmużek - 2007 - Logic and Logical Philosophy 16 (1):85-101.
The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.
Constrained Hyper Tableaux.Jan van Eijck - unknown
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
System description: The tableaux work bench.Rajeev Gore - manuscript
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Cut-free single-pass tableaux for the logic of common knowledge.Rajeev Gore - unknown
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse.Linh Anh Nguyen & Andrzej Szałas - 2011 - Studia Logica 98 (3):387-428.
Are tableaux an improvement on truth-tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.

Analytics

Added to PP
2015-01-22

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references