๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Quantified Modal Logic With Rigid Terms

โœ Scribed by Giovanna Corsi

Publisher
John Wiley and Sons
Year
1988
Tongue
English
Weight
511 KB
Volume
34
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD
QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
โœ Geir Waagbรธ; G. Waagbรธ ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 503 KB

## Abstract The paper presents a semantics for quantified modal logic which has a weaker axiomatization than the usual Kripke semantics. In particular, the Barcan Formula (BF) and its converse are not valid with the proposed semantics. Subclasses of models which validate BF and other interesting fo

Essentialism in quantified modal logic
Essentialism in quantified modal logic
โœ Thomas J. McKay ๐Ÿ“‚ Article ๐Ÿ“… 1975 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 892 KB
Repairing the interpolation theorem in q
Repairing the interpolation theorem in quantified modal logic
โœ Carlos Areces; Patrick Blackburn; Maarten Marx ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 244 KB

Quantiรฟed hybrid logic is quantiรฟed modal logic extended with apparatus for naming states and asserting that a formula is true at a named state. While interpolation and Beth's deรฟnability theorem fail in a number of well-known quantiรฟed modal logics (for example in quantiรฟed modal K, T, D, S4, S4.3