An actualistic semantics for quantified modal logic

Notre Dame Journal of Formal Logic 23 (3):335-349 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870093

Links

PhilArchive



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

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

Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.Bartosz Wieckowski - unknown
Quantified Modal Logic and the Plural De Re.Phillip Bricker - 1989 - Midwest Studies in Philosophy 14 (1):372-394.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
The true modal logic.Christopher Menzel - 1991 - Journal of Philosophical Logic 20 (4):331 - 374.
Divine command theory and the semantics of quantified modal logic.David Efird - 2008 - In Yujin Nagasawa & Erik J. Wielenberg (eds.), New waves in philosophy of religion. New York: Palgrave-Macmillan. pp. 91.
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Quantified modal logic, dynamic semantics and S 5.Paul Gochet Et Eric Gillet - 1999 - Dialectica 53 (3-4):243–251.
Incompleteness results in Kripke semantics.Silvio Ghilardi - 1991 - Journal of Symbolic Logic 56 (2):517-538.
Quantifiers, propositions and identity: admissible semantics for quantified modal and substructural logics.Robert Goldblatt - 2011 - New York: Cambridge University Press.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Semantics for relevance logic with identity.Edwin D. Mares - 1992 - Studia Logica 51 (1):1 - 20.
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
Quantified modal logic: Non-normal worlds and propositional attitudes.Veikko Rantala - 1982 - Studia Logica 41 (1):41 - 65.

Analytics

Added to PP
2010-08-24

Downloads
131 (#133,725)

6 months
12 (#157,869)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Counting Incompossibles.Peter Fritz & Jeremy Goodman - 2017 - Mind 126 (504):1063–1108.
Actualism.Christopher Menzel - 2008 - Stanford Encyclopedia of Philosophy.
Possible Worlds.Christopher Menzel - 2013 - Stanford Encyclopedia of Philosophy.

View all 25 citations / Add more citations

References found in this work

No references found.

Add more references