Minimal structures for modal tableaux: Some examples

&
Logic and Logical Philosophy 8:99 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.12775/llp.2000.007

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

Minimal StructuresFor Modal Tableaux: Some Examples.Luis del Cerro & Olivier Gasquet - 2000 - Logic and Logical Philosophy 8:99-114.
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.
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.
A short biography of Luis Fariñas del Cerro.Pedro Cabalar, Martín Diéguez, Andreas Herzig & David Pearce - 2017 - Journal of Applied Non-Classical Logics 27 (3):153-160.
Editorial Board.[author unknown] - 2012 - Journal of Applied Non-Classical Logics 22 (4):ebi-ebi.
A Modal Logic to Reason about Analogical Proportion.José David García Cruz - 2016 - Studia Metodologiczne 37 (1):73-96.
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.
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.
Swap structures semantics for Ivlev-like modal logics.Marcelo E. Coniglio & Ana Claudia Golzio - 2019 - Soft Computing 23 (7):2243-2254.
What is a logical system?Dov M. Gabbay (ed.) - 1994 - New York: Oxford University Press.

Analytics

Added to PP
2014-01-23

Downloads
36 (#432,858)

6 months
12 (#304,934)

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

A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 31 (2):276-277.

View all 6 references / Add more references