A model existence theorem in infinitary propositional modal logic

Journal of Philosophical Logic 23 (4):337 - 367 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf01048686

Links

PhilArchive



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

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

Generic generalized Rosser fixed points.Dick H. J. Jongh & Franco Montagna - 1987 - Studia Logica 46 (2):193 - 203.
Game logic and its applications I.Mamoru Kaneko & Takashi Nagashima - 1996 - Studia Logica 57 (2-3):325 - 354.
Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
A new modal lindström theorem.Johan van Benthem - 2007 - Logica Universalis 1 (1):125-138.
An Infinitary Extension of Jankov’s Theorem.Yoshihito Tanaka - 2007 - Studia Logica 86 (1):111 - 131.
Model existence in non-compact modal logic.Yoshihito Tanaka - 2001 - Studia Logica 67 (1):61-73.
A finite model theorem for the propositional μ-calculus.Dexter Kozen - 1988 - Studia Logica 47 (3):233 - 241.

Analytics

Added to PP
2009-01-28

Downloads
79 (#204,640)

6 months
4 (#724,033)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Krister Segerberg
Uppsala University

Citations of this work

Game logic and its applications I.Mamoru Kaneko & Takashi Nagashima - 1996 - Studia Logica 57 (2-3):325 - 354.

View all 12 citations / Add more citations

References found in this work

Convention: A Philosophical Study.David Kellogg Lewis - 1969 - Cambridge, MA, USA: Wiley-Blackwell.
Logics containing k4. part I.Kit Fine - 1974 - Journal of Symbolic Logic 39 (1):31-42.
A Completeness Proof For An Infinitary Tense Logic.Goran Sundholm - 1977 - Bulletin of the Section of Logic 6 (2):70-72.

Add more references