Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Expressive Logics for Coalgebras via Terminal Sequence Induction.Dirk Pattinson - 2004 - Notre Dame Journal of Formal Logic 45 (1):19-33.
A new coalgebraic Lindström theorem.Sebastian Enqvist - 2016 - Journal of Logic and Computation 26 (5):1541-1566.
Modal Formulas True at Some Point in Every Model.Lloyd Humberstone - 2008 - Australasian Journal of Logic 6:70-82.
The provability logic for Σ1-interpolability.Konstantin N. Ignatiev - 1993 - Annals of Pure and Applied Logic 64 (1):1-25.
Modal Frame Correspondences and Fixed-Points.Johan Van Benthem - 2006 - Studia Logica 83 (1-3):133-155.
Incompleteness and Fixed Points.Lorenzo Sacchetti - 2002 - Mathematical Logic Quarterly 48 (1):15-28.
Sahlqvist Correspondence for Modal mu-calculus.Johan Benthem, Nick Bezhanishvili & Ian Hodkinson - 2012 - Studia Logica 100 (1-2):31-60.
Definable fixed points in modal and temporal logics — a survey.Sergey Mardaev - 2007 - Journal of Applied Non-Classical Logics 17 (3):317-346.
Modal Tree‐Sequents.Claudio Cerrato - 1996 - Mathematical Logic Quarterly 42 (1):197-210.
The elimination of de re formulas.Michael Kaminski - 1997 - Journal of Philosophical Logic 26 (4):411-422.
Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence.Ernst-Erich Doberkat - 2008 - Annals of Pure and Applied Logic 155 (1):46-68.
A General Lindström Theorem for Some Normal Modal Logics.Sebastian Enqvist - 2013 - Logica Universalis 7 (2):233-264.
Polynomial ring calculus for modal logics: A new semantics and proof method for modalities: Polynomial ring calculus for modal logics.Juan C. Agudelo - 2011 - Review of Symbolic Logic 4 (1):150-170.
Why does the proof-theory of hybrid logic work so well?Torben Braüner - 2007 - Journal of Applied Non-Classical Logics 17 (4):521-543.

Analytics

Added to PP
2020-01-13

Downloads
8 (#1,318,021)

6 months
4 (#790,394)

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

No references found.

Add more references