The universe of discourse of modal logic

Journal of Applied Non-Classical Logics 6 (2):137-147 (1996)
  Copy   BIBTEX

Abstract

ABSTRACT A new notion of model is presented which makes the Barcan formula and its converse hold in arbitrary frames without requiring constant, increasing or decreasing domains. Soundness and completeness of first order K is established for this class of new models. The failure of reasoning by substitution known as ? opacity ? is explained. An existenc predicate makes it possible to distinguish between actual and possible elements. The connections with the restricted Barcan formula are considered

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1996.10510875

Links

PhilArchive



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

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

Incompleteness and the Barcan formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
The Barcan Formula in Metaphysics.Ori Simchen - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (3):375-392.
First-order classical modal logic.Horacio Arló-Costa & Eric Pacuit - 2006 - Studia Logica 84 (2):171 - 210.
Predicate logics on display.Heinrich Wansing - 1999 - Studia Logica 62 (1):49-75.
First-order definability in modal logic.R. I. Goldblatt - 1975 - Journal of Symbolic Logic 40 (1):35-40.
Domains of Sciences, Universes of Discourse and Omega Arguments.Jose M. Saguillo - 1999 - History and Philosophy of Logic 20 (3-4):267-290.
Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
First-Order Modal Logic with an 'Actually' Operator.Yannis Stephanou - 2005 - Notre Dame Journal of Formal Logic 46 (4):381-405.
The Translation of First Order Logic into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.
Modal correspondence for models.Jon Barwise & Lawrence S. Moss - 1998 - Journal of Philosophical Logic 27 (3):275-294.
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.
Actuality in Propositional Modal Logic.Allen P. Hazen, Benjamin G. Rin & Kai F. Wehmeier - 2013 - Studia Logica 101 (3):487-503.

Analytics

Added to PP
2013-11-24

Downloads
12 (#1,085,484)

6 months
3 (#976,558)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A tableau proof method admitting the empty domain.Melvin Fitting - 1971 - Notre Dame Journal of Formal Logic 12 (2):219-224.

Add more references