A Way Of Making World Quantification Explicit

Logic Journal of the IGPL 12 (3):199-225 (2004)
  Copy   BIBTEX

Abstract

We introduce the intensional logic IQL whose main feature is the capability of recovering modal operator □ by means of a genuine first–order quantification over worlds and of an intensional operator . We prove that IQL is sound and complete with respect to an adequate class of structures and that it is decidable. We further show that IQL is a conservative extension of modal system K and of monadic predicate calculus up to interpretability. Eventually we introduce a simple proof system in natural deduction style for IQL

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A proof-theoretic investigation of a logic of positions.Stefano Baratella & Andrea Masini - 2003 - Annals of Pure and Applied Logic 123 (1-3):135-162.
Natural Deduction for Modal Logic with a Backtracking Operator.Jonathan Payne - 2015 - Journal of Philosophical Logic 44 (3):237-258.
Expressive Power of “Now” and “Then” Operators.Igor Yanovich - 2015 - Journal of Logic, Language and Information 24 (1):65-93.
The quantified argument calculus.Hanoch Ben-Yami - 2014 - Review of Symbolic Logic 7 (1):120-146.
Certain Verbs Are Syntactically Explicit Quantifiers.Anna Szabolcsi - 2011 - The Baltic International Yearbook of Cognition, Logic and Communication 6:5.
A natural deduction system for bundled branching time logic.Stefano Baratella & Andrea Masini - 2013 - Journal of Applied Non-Classical Logics 23 (3):268 - 283.
A syntactical approach to modality.Paul Schweizer - 1992 - Journal of Philosophical Logic 21 (1):1 - 31.
TxW Epistemic Modality.Andrea Iacona - 2012 - Logic and Philosophy of Science 10:3-14.
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.

Analytics

Added to PP
2015-02-04

Downloads
5 (#1,344,576)

6 months
1 (#1,042,085)

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

No references found.

Add more references