Infinitary Modal Logic and Generalized Kripke Semantics

Annali Del Dipartimento di Filosofia 17:135-166 (2011)
  Copy   BIBTEX

Abstract

This paper deals with the infinitary modal propositional logic Kω1, featuring countable disjunctions and conjunc- tions. It is known that the natural infinitary extension LK.

Categories

Keywords

Reprint years

DOI

10.13128/annali_dip_filos-11278

Links

PhilArchive



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

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

Indexed systems of sequents and cut-elimination.Grigori Mints - 1997 - Journal of Philosophical Logic 26 (6):671-696.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Infinitary propositional normal modal logic.Slavian Radev - 1987 - Studia Logica 46 (4):291 - 309.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Cut-free tableau calculi for some intuitionistic modal logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
Incompleteness results in Kripke semantics.Silvio Ghilardi - 1991 - Journal of Symbolic Logic 56 (2):517-538.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic.Linda Postniece - unknown
Sequent calculi and decision procedures for weak modal systems.René Lavendhomme & Thierry Lucas - 2000 - Studia Logica 66 (1):121-145.
Game logic and its applications I.Mamoru Kaneko & Takashi Nagashima - 1996 - Studia Logica 57 (2-3):325 - 354.

Analytics

Added to PP
2013-04-19

Downloads
60 (#262,991)

6 months
11 (#225,837)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Pierluigi Minari
Università degli Studi di Firenze

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references