Topological Completeness of First-Order Modal Logics

&
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-17 (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: 91,672

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

Some kinds of modal completeness.J. F. A. K. van Benthem - 1980 - Studia Logica 39 (2):125-141.
Some kinds of modal completeness.J. F. A. K. Benthem - 1980 - Studia Logica 39 (2-3):125 - 141.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
Fibring Modal First-Order Logics: Completeness Preservation.Amilcar Sernadas, Cristina Sernadas & Alberto Zanardo - 2002 - Logic Journal of the IGPL 10 (4):413-451.
Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
Topology and modality: The topological interpretation of first-order modal logic: Topology and modality.Steve Awodey - 2008 - Review of Symbolic Logic 1 (2):146-166.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
The Finite Model Property for Logics with the Tangle Modality.Robert Goldblatt & Ian Hodkinson - 2018 - Studia Logica 106 (1):131-166.
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
Topological-Frame Products of Modal Logics.Philip Kremer - 2018 - Studia Logica 106 (6):1097-1122.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
The topology of justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.
McKinsey Algebras and Topological Models of S4.1.Thomas Mormann - manuscript
On the completeness of first degree weakly aggregative modal logics.Peter Apostoli - 1997 - Journal of Philosophical Logic 26 (2):169-180.

Analytics

Added to PP
2018-02-17

Downloads
19 (#795,462)

6 months
4 (#776,943)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Kohei Kishida
University of Illinois, Urbana-Champaign
Steve Awodey
Carnegie Mellon University

Citations of this work

Add more citations

References found in this work

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
[Omnibus Review].Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.
Topoi: The Categorial Analysis of Logic.R. I. Goldblatt - 1982 - British Journal for the Philosophy of Science 33 (1):95-97.
On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Mathematical Logic Quarterly 12 (1):379-384.

View all 12 references / Add more references