Repairing the interpolation theorem in quantified modal logic

Annals of Pure and Applied Logic 124 (1-3):287-299 (2003)

Abstract

Quantified hybrid logic is quantified modal logic extended with apparatus for naming states and asserting that a formula is true at a named state. While interpolation and Beth's definability theorem fail in a number of well-known quantified modal logics , their counterparts in quantified hybrid logic have these properties. These are special cases of the main result of the paper: the quantified hybrid logic of any class of frames definable in the bounded fragment of first-order logic has the interpolation property, irrespective of whether varying, constant, expanding, or contracting domains are assumed

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,805

External links

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

Through your library

Analytics

Added to PP
2014-01-16

Downloads
38 (#303,288)

6 months
2 (#258,199)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Patrick Blackburn
Roskilde University

References found in this work

First Order Modal Logic.Melvin Fitting & Richard Mendelsohn - 1998 - Studia Logica 68 (2):287-289.
Hybrid Languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.
[Omnibus Review].H. Jerome Keisler - 1970 - Journal of Symbolic Logic 35 (2):342-344.
Hierarchies of Modal and Temporal Logics with Reference Pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.

View all 7 references / Add more references

Citations of this work

The Problem of Cross-World Predication.Alexander Kocurek - 2016 - Journal of Philosophical Logic 45 (6):697-742.
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Hybrid Type Theory: A Quartet in Four Movements.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2011 - Principia: An International Journal of Epistemology 15 (2):225.

View all 10 citations / Add more citations

Similar books and articles