Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,623

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.

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.
Proof systems for the coalgebraic cover modality.Marta Bílková, Alessandra Palmigiano & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-21.
Proof systems for the coalgebraic cover modality.Marta Bílková, Alessandra Palmigiano & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-21.
Modal Formulas True at Some Point in Every Model.Lloyd Humberstone - 2008 - Australasian Journal of Logic 6:70-82.
Modal Tree‐Sequents.Claudio Cerrato - 1996 - Mathematical Logic Quarterly 42 (1):197-210.
Distributive Substructural Logics as Coalgebraic Logics over Posets.Marta Bílková, Rostislav Horčik & Jiří Velebil - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 119-142.

Analytics

Added to PP
2020-01-13

Downloads
8 (#1,360,066)

6 months
4 (#1,055,413)

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