Constructing counter-models for modal logic K4 from refutation trees

Bulletin of the Section of Logic 31 (2):81-90 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Refutations, proofs, and models in the modal logic K.Tomasz Skura - 2002 - Studia Logica 70 (2):193 - 204.
On the size of refutation Kripke models for some linear modal and tense logics.Hiroakira Ono & Akira Nakamura - 1980 - Studia Logica 39 (4):325 - 333.
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.Vedran Čačić & Domagoj Vrgoč - 2013 - Studia Logica 101 (1):31-44.
Theorem provers with counter-models and xpe.Motohiko Mouri - 2001 - Bulletin of the Section of Logic 30 (2):79-86.
On Scott and Karp trees of uncountable models.Tapani Hyttinen & Jouko Väänänen - 1990 - Journal of Symbolic Logic 55 (3):897-908.
Evidence theory in multivalued models of modal logic.Elena Tsiporkova, Bernard De Baets & Veselka Boeva - 2000 - Journal of Applied Non-Classical Logics 10 (1):55-81.
On Refutation Rules.Tomasz Skura - 2011 - Logica Universalis 5 (2):249-254.
Expressive completeness of temporal logic of trees.Bernd-Holger Schlingloff - 1992 - Journal of Applied Non-Classical Logics 2 (2):157-180.
Thoroughly Relativistic Perspectives.Mark Ressler - 2012 - Notre Dame Journal of Formal Logic 53 (1):89-112.
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
First-order expressivity for s5-models: Modal vs. two-sorted languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.
Modal correspondence for models.Jon Barwise & Lawrence S. Moss - 1998 - Journal of Philosophical Logic 27 (3):275-294.
Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
Actuality in Propositional Modal Logic.Allen P. Hazen, Benjamin G. Rin & Kai F. Wehmeier - 2013 - Studia Logica 101 (3):487-503.

Analytics

Added to PP
2014-01-18

Downloads
18 (#827,632)

6 months
1 (#1,463,894)

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

Contraction-free sequent calculi for intuitionistic logic.Roy Dyckhoff - 1992 - Journal of Symbolic Logic 57 (3):795-807.
Theorem provers with counter-models and xpe.Motohiko Mouri - 2001 - Bulletin of the Section of Logic 30 (2):79-86.

Add more references