Completeness of the finitary Moss logic

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

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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

Completeness of the finitary Moss logic.Clemens Kupke, Alexander Kurz & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 193-217.
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: Maarten Marx, Yde Venema, Multi-Dimensional Modal Logic. [REVIEW]Dimiter Vakarelov - 2000 - Bulletin of Symbolic Logic 6 (4):490-495.
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.
Patrick Blackburn, Maarten de Rijke and Yde Venema, Cambridge Tracts in Theoretical Computer Science Vol. 53. [REVIEW]Valentin Goranko - 2004 - Studia Logica 76 (1):135-142.
Patrick Blackburn, Maarten De Rijke, and Yde Venema. Modal logic. Cambridge tracts in theoretical computer science, no. 53. Cambridge University Press, Cambridge, New York, etc., 2001, xxii + 554 pp. [REVIEW]Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.

Analytics

Added to PP
2018-02-17

Downloads
20 (#181,865)

6 months
5 (#1,552,255)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yde Venema
University of Amsterdam

Citations of this work

Non-wellfounded set theory.Lawrence S. Moss - 2008 - Stanford Encyclopedia of Philosophy.
Coalgerbraic Lindströom Theorems.Alexander Kurz & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 292-309.

Add more citations

References found in this work

Non-Well-Founded Sets.Peter Aczel - 1988 - Palo Alto, CA, USA: Csli Lecture Notes.
Normal forms in modal logic.Kit Fine - 1975 - Notre Dame Journal of Formal Logic 16 (2):229-237.
Domain theory in logical form.Samson Abramsky - 1991 - Annals of Pure and Applied Logic 51 (1-2):1-77.
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 6 references / Add more references