First degree formulas in quantified S5

Australasian Journal of Logic 12 (5) (2015)
  Copy   BIBTEX

Abstract

This note provides a proof that the formula L is not equivalent to any first degree formula in the context of the quantified version of the modal logic S5. This solves a problem posed by Max Cresswell.

Categories

Keywords

Reprint years

2017

DOI

10.26686/ajl.v12i5.3891

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

Examining fragments of the quantified propositional calculus.Steven Perron - 2008 - Journal of Symbolic Logic 73 (3):1051-1080.
Alternative semantics for quantified first degree relevant logic.Richard Routley - 1979 - Studia Logica 38 (2):211 - 231.
Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.
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.
Repairing the interpolation theorem in quantified modal logic.Carlos Areces, Patrick Blackburn & Maarten Marx - 2003 - Annals of Pure and Applied Logic 124 (1-3):287-299.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Simulating non-prenex cuts in quantified propositional calculus.Emil Jeřábek & Phuong Nguyen - 2011 - Mathematical Logic Quarterly 57 (5):524-532.
The quantified argument calculus.Hanoch Ben-Yami - 2014 - Review of Symbolic Logic 7 (1):120-146.
Selection in the monadic theory of a countable ordinal.Alexander Rabinovich & Amit Shomrat - 2008 - Journal of Symbolic Logic 73 (3):783-816.
Reduction to first degree in quantificational S5.Michael J. Carroll - 1979 - Journal of Symbolic Logic 44 (2):207-214.
An axiomatization of the modal theory of the veiled recession frame.W. J. Blok - 1979 - Studia Logica 38 (1):37 - 47.
Bare possibilia.Timothy Williamson - 1998 - Erkenntnis 48 (2-3):257--73.
Some intuitionistic equivalents of classical principles for degree 2 formulas.Stefano Berardi - 2006 - Annals of Pure and Applied Logic 139 (1):185-200.
The Interpretation of Classically Quantified Sentences: A set-theoretic approach.Guy Politzer, Jean-Baptiste Van Der Henst, Claire Delle Luche & Ira Noveck - 2006 - Cognitive Science 30 (4):691-723.
The Translation of First Order Logic into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.

Analytics

Added to PP
2017-02-14

Downloads
12 (#1,085,484)

6 months
5 (#639,460)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alasdair Urquhart
University of Toronto, St. George Campus

Citations of this work

Actuality and the a priori.Fabio Lampert - 2018 - Philosophical Studies 175 (3):809-830.

Add more citations

References found in this work

Modalities and quantification.Rudolf Carnap - 1946 - Journal of Symbolic Logic 11 (2):33-64.

Add more references