Repairing the interpolation theorem in quantified modal logic

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

Authors
Patrick Blackburn
Roskilde University
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(03)00059-9
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,283
Through your library

References found in this work BETA

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

View all 7 references / Add more references

Citations of this work BETA

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.
The Problem of Cross-World Predication.Alexander W. Kocurek - 2016 - Journal of Philosophical Logic 45 (6):697-742.

View all 10 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2014-01-16

Total views
30 ( #300,016 of 2,279,917 )

Recent downloads (6 months)
8 ( #119,692 of 2,279,917 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature