Modal Formulas True at Some Point in Every Model

Australasian Journal of Logic 6:70-82 (2008)
  Copy   BIBTEX

Abstract

In a paper on the logical work of the Jains, Graham Priest considers a consequence relation, semantically characterized, which has a natural analogue in modal logic. Here we give a syntactic/axiomatic description of the modal formulas which are consequences of the empty set by this relation, which is to say: those formulas which are, for every model, true at some point in that model.

Categories

Keywords

Reprint years

DOI

10.26686/ajl.v6i0.1794

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,601

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

Modal Formulas True at Some Point in Every Model.Ian Humberstone - unknown
Some characterization and preservation theorems in modal logic.Tin Perkov - 2012 - Annals of Pure and Applied Logic 163 (12):1928-1939.
First-order possibility models and finitary completeness proofs.Matthew Harrison-Trainor - 2019 - Review of Symbolic Logic 12 (4):637-662.
Partiality and Adjointness in Modal Logic.Wesley H. Holliday - unknown - In Rajeev Gore, Advances in modal logic, volume. pp. 313-332.
Why does the proof-theory of hybrid logic work so well?Torben Braüner - 2007 - Journal of Applied Non-Classical Logics 17 (4):521-543.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Moorean Phenomena in Epistemic Logic.Wesley H. Holliday & Thomas F. Icard - 2010 - In Lev Dmitrievich Beklemishev, Valentin Goranko & Valentin Shehtman, Advances in Modal Logic 8. London, England: College Publications. pp. 178-199.
Modal Metatheory for Quantified Modal Logic, With and Without the Barcan Formulas.Andrew Joseph McCarthy - 2021 - Notre Dame Journal of Formal Logic 62 (2):285-301.
Moorean Phenomena in Epistemic Logic.Wesley H. Holliday & Thomas F. Icard Iii - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 178-199.
Moorean Phenomena in Epistemic Logic.Wesley H. Holliday & Thomas F. Icard Iii - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 178-199.

Analytics

Added to PP
2015-02-04

Downloads
31 (#781,517)

6 months
9 (#381,277)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Lloyd Humberstone
Monash University

Citations of this work

Jaina Logic: A Contemporary Perspective.Graham Priest - 2008 - History and Philosophy of Logic 29 (3):263-278.
Inverse Images of Box Formulas in Modal Logic.Lloyd Humberstone - 2013 - Studia Logica 101 (5):1031-1060.

Add more citations

References found in this work

An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
Jaina Logic: A Contemporary Perspective.Graham Priest - 2008 - History and Philosophy of Logic 29 (3):263-278.
Every world can see a reflexive world.G. E. Hughes - 1990 - Studia Logica 49 (2):175 - 181.

View all 8 references / Add more references