Labelled modal tableaux

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 87-110 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

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

Shakespearian Modal Logic: A Labelled Treatment of Modal Identity.Ablerto Artosi, Paola Benassi, Guido Governatori & Antonino Rotolo - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-21.
Free-variable tableaux for propositional modal logics.Bernhard Beckert & Rajeev GorÉ - 2001 - Studia Logica 69 (1):59-96.
Tableaux variants of some modal and relevant systems.P. I. Bystrov - 1988 - Bulletin of the Section of Logic 17 (3/4):92-98.
Modal Tableaux for Reasoning About Diagrams.Luis del Cerro & Olivier Gasquet - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91:169-184.
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.
Comparing modal sequent systems.Greg Restall - unknown
Implementing a relational theorem prover for modal logic K.Angel Mora, Emilio Munoz Velasco & Joanna Golińska-Pilarek - 2011 - International Journal of Computer Mathematics 88 (9):1869-1884.
“Labelled tableaux for D2”.Janusz Ciuciura - 2004 - Bulletin of the Section of Logic 33 (4):223-235.
Labelled analytic tableaux for S4. 3.Andrzej Indrzejczak - 2002 - Bulletin of the Section of Logic 31 (1):15-26.
Terminating modal tableaux with simple completeness proof.Olivier Gasquet, Andreas Herzig & Mohamad Sahade - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 167-186.
Labelled modal logics: Quantifiers. [REVIEW]David Basin, Seán Matthews & Luca Viganò - 1998 - Journal of Logic, Language and Information 7 (3):237-263.
On the da Costa, Dubikajtis and Kotas' system of the discursive logic, D* 2.Janusz Ciuciura - 2005 - Logic and Logical Philosophy 14 (2):235-252.
Propositional Abduction in Modal Logic.Marta Cialdea Mayer & Fiora Pirri - 1995 - Logic Journal of the IGPL 3 (6):907-919.
Tableaux for structural abduction.Ángel Nepomuceno-fernández, Francisco Salguero-Lamillar & David Fernández-Duque - 2012 - Logic Journal of the IGPL 20 (2):388-399.
Developing Modal Tableaux and Resolution Methods via First-Order Resolution.Renate A. Schmidt - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-26.

Analytics

Added to PP
2018-02-17

Downloads
8 (#1,283,306)

6 months
2 (#1,263,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Introduction to Non-Classical Logic.Graham Priest - 2001 - Cambridge and New York: Cambridge University Press.
An Introduction to Non-Classical Logic.Graham Priest - 2001 - Bulletin of Symbolic Logic 12 (2):294-295.
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.
Basic conditional logic.Brian F. Chellas - 1975 - Journal of Philosophical Logic 4 (2):133 - 153.

View all 6 references / Add more references