On A New Semantics for First-Order Predicate Logic

, &
Journal of Philosophical Logic 46 (3):259-267 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/s10992-017-9429-y

Links

PhilArchive



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

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 Languages and Bounded Fragments of Predicate Logic.Hajnal Andréka, István Németi & Johan van Benthem - 1998 - Journal of Philosophical Logic 27 (3):217 - 274.
Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL∀.Franco Montagna & Hiroakira Ono - 2002 - Studia Logica 71 (2):227-245.
The Completeness of Carnap's Predicate Logic.Max Cresswell - 2014 - Australasian Journal of Logic 11 (1).
Sequence semantics for dynamic predicate logic.C. F. M. Vermeulen - 1993 - Journal of Logic, Language and Information 2 (3):217-254.
Logic & Natural Language: On Plural Reference and its Semantic and Logical Significance.Hanoch Ben-Yami - 2004 - Routledge.
Logic: A Primer.Erich Rast - manuscript
Incompleteness Results in Kripke Bundle Semantics.Kazuaki Nagaoka & Eiko Isoda - 1997 - Mathematical Logic Quarterly 43 (4):485-498.
Back and Forth Between Modal Logic and Classical Logic.Hajnal Andreka, Johan van Benthem & Istvan Nemeti - 1995 - Logic Journal of the IGPL 3 (5):685-720.
Completeness and incompleteness for intuitionistic logic.Charles Mccarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. da Costa - 1979 - Studia Logica 38 (4):429-445.
An introduction to the model theory of first-order predicate logic and a related temporal logic.Robert Mattison - 1968 - Santa Monica, Calif.,: Rand.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions.V. Halbach & P. Welch - 2009 - Mind 118 (469):71-100.
Quantifiers, propositions and identity: admissible semantics for quantified modal and substructural logics.Robert Goldblatt - 2011 - New York: Cambridge University Press.
Tractarian semantics for predicate logic.Hugh Miller - 1995 - History and Philosophy of Logic 16 (2):197-215.

Analytics

Added to PP
2017-04-17

Downloads
57 (#274,471)

6 months
7 (#425,192)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

Citations of this work

Completeness and Decidability of General First-Order Logic.Aldo Antonelli - 2017 - Journal of Philosophical Logic 46 (3):233-257.

Add more citations

References found in this work

Quantifiers in Language and Logic.Stanley Peters & Dag Westerståhl - 2006 - Oxford, England: Clarendon Press.
Quantifiers in Language and Logic.Stanley Peters & Dag Westerståhl - 2006 - Oxford, England: Oxford University Press UK.
Normal monomodal logics can simulate all others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
Normal Monomodal Logics Can Simulate All Others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.

View all 10 references / Add more references