A General Framework For Pattern-driven Modal Tableaux

&
Logic Journal of the IGPL 10 (1):51-83 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/10.1.51

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

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

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.
Tableaux for essence and contingency.Giorgio Venturi & Pedro Teixeira Yago - 2021 - Logic Journal of the IGPL 29 (5):719-738.
Relational dual tableau decision procedure for modal logic K.Joanna Golińska-Pilarek, Emilio Munoz-Velasco & Angel Mora - 2012 - Logic Journal of the IGPL 20 (4):747-756.
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.
Olivier Gasquet and Andreas Herzig.From Classical to Normal Modal Logics - 1996 - In Heinrich Wansing (ed.), Proof theory of modal logic. Boston: Kluwer Academic Publishers.
Projective unification in modal logic.Wojciech Dzik & Piotr Wojtylak - 2012 - Logic Journal of the IGPL 20 (1):121-153.
Propositional Abduction in Modal Logic.Marta Cialdea Mayer & Fiora Pirri - 1995 - Logic Journal of the IGPL 3 (6):907-919.
Free-variable tableaux for monotonic preorders.P. Martín & A. Gavilanes - 2001 - Logic Journal of the IGPL 9 (6):813-844.
Conditionals: from philosophy to computer science, edited by G. Crocco, L. Fariñas del Cerro, and A. Herzig, Studies in logic and computation, no. 5, Clarendon Press, Oxford University Press, Oxford and New York1995, viii + 368 pp. [REVIEW]Charles B. Cross & Donald Nute - 1997 - Journal of Symbolic Logic 62 (4):1487-1490.
Efficient Inverse Tableaux.Marco Mondadori - 1995 - Logic Journal of the IGPL 3 (6):939-953.

Analytics

Added to PP
2015-02-04

Downloads
9 (#1,531,910)

6 months
2 (#1,693,059)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Deciding Regular Grammar Logics with Converse Through First-Order Logic.Stéphane Demri & Hans Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
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.

Add more citations

References found in this work

No references found.

Add more references