Modal logic with names

Journal of Philosophical Logic 22 (6):607 - 636 (1993)
Download Edit this record How to cite View on PhilPapers
Abstract
We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched
Categories
(categorize this paper)
PhilPapers/Archive ID
GARMLW
Revision history
Archival date: 2018-04-21
View upload history
References found in this work BETA
Nominal Tense Logic.Blackburn, Patrick

View all 13 references / Add more references

Citations of this work BETA
Hybrid Logics: Characterization, Interpolation and Complexity.Areces, Carlos; Blackburn, Patrick & Marx, Maarten
Hybrid Languages.Blackburn, Patrick & Seligman, Jerry
Pure Extensions, Proof Rules, and Hybrid Axiomatics.Blackburn, Patrick & Ten Cate, Balder

View all 26 citations / Add more citations

Added to PP index
2009-01-28

Total views
72 ( #26,282 of 38,932 )

Recent downloads (6 months)
25 ( #17,105 of 38,932 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.