Existence and identity in quantified modal logics

Notre Dame Journal of Formal Logic 10 (2):113-149 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093893650

Links

PhilArchive



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

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

A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Quantifiers, propositions and identity: admissible semantics for quantified modal and substructural logics.Robert Goldblatt - 2011 - New York: Cambridge University Press.
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.
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
Explicit logics of knowledge and conservativity.Melvin Fitting - unknown
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
On regular modal logics with axiom □ ⊤ → □□ ⊤.Kazimierz Świrydowicz - 1990 - Studia Logica 49 (2):171 - 174.
Labelled modal logics: Quantifiers. [REVIEW]David Basin, Seán Matthews & Luca Viganò - 1998 - Journal of Logic, Language and Information 7 (3):237-263.
Robert Goldblatt. Quantifiers, propositions and identity: Admissible semantics for quantified modal and substructural logics. Lecture notes in logic; 38. cambridge: Cambridge university press, 2011. Isbn 978-1-107-01052-9. Pp. XIII + 282. [REVIEW]R. Jones - 2013 - Philosophia Mathematica 21 (1):123-127.
Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Superintuitionistic companions of classical modal logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.

Analytics

Added to PP
2010-08-24

Downloads
17 (#869,452)

6 months
6 (#522,028)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Richard (Routley) Sylvan: Writings on Logic and Metaphysics.Dominic Hyde - 2001 - History and Philosophy of Logic 22 (4):181-205.
The importance of not existing. R. & V. Routley - 1979 - Dialogue 18 (2):129-165.

Add more citations

References found in this work

No references found.

Add more references