Proof systems for the coalgebraic cover modality

, &
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 1-21 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,148

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

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, Advances in Modal Logic. CSLI Publications. pp. 1-21.
A new coalgebraic Lindström theorem.Sebastian Enqvist - 2016 - Journal of Logic and Computation 26 (5):1541-1566.
Maarten Marx and Yde Venema, Multi-Dimensional Modal Logic.M. Zakharyaschev - 2000 - Journal of Logic Language and Information 9 (1):128-131.
Review: Patrick Blackburn, Maarten de Rijke, Yde Venema, Modal Logic. [REVIEW]Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
Review of 'Multi-dimensional modal logic'by Maarten Marx and Yde Venema. [REVIEW]Lloyd Humberstone - 2000 - Studia Logica 65:278-282.
Multi-dimensional modal logic, Maarten Marx and Yde Venema.Michael Zakharyaschev - 2000 - Journal of Logic, Language and Information 9 (1):128-131.
Maarten Marx and Yde Venema. Multi-dimensional modal logic. Applied logic series, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xiii + 239 pp. [REVIEW]Dimiter Vakarelov - 2000 - Bulletin of Symbolic Logic 6 (4):490-495.
Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science vol. 53. [REVIEW]Valentin Goranko - 2004 - Studia Logica 76 (1):135-142.
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, Advances in Modal Logic. CSLI Publications. pp. 119-142.
Book Reviews:Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge: Cambridge University Press, 2002, xxii + 554 pp., US$53.00, ISBN 0-52152-714-7 (paperback). [REVIEW]Manuel Bremer - 2005 - Minds and Machines 15 (1):126-129.

Analytics

Added to PP
2018-02-17

Downloads
28 (#887,733)

6 months
5 (#853,064)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yde Venema
University of Amsterdam

Citations of this work

Weak Negation in Inquisitive Semantics.Vít Punčochář - 2015 - Journal of Logic, Language and Information 24 (3):323-355.
Completeness for flat modal fixpoint logics.Luigi Santocanale & Yde Venema - 2010 - Annals of Pure and Applied Logic 162 (1):55-82.
Future Event Logic- Axioms and Complexity.Hans van Ditmarsch, Tim French & Sophie Pinchinate - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 77-99.

Add more citations

References found in this work

A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
[Introduction].Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):1.
Normal forms in modal logic.Kit Fine - 1975 - Notre Dame Journal of Formal Logic 16 (2):229-237.
Coalgebraic logic.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 96 (1-3):277-317.
On modal μ-calculus with explicit interpolants.G. D'Agostino & G. Lenzi - 2006 - Journal of Applied Logic 4 (3):256-278.

View all 8 references / Add more references