Hierarchies of modal and temporal logics with reference pointers

Download Edit this record How to cite View on PhilPapers
Abstract
We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions.
PhilPapers/Archive ID
GORHOM
Revision history
Archival date: 2018-04-21
View upload history
References found in this work BETA
Modal Logic with Names.Gargov, George & Goranko, Valentin
[Omnibus Review].Goldblatt, Robert

View all 11 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
Completeness in Hybrid Type Theory.Areces, Carlos; Blackburn, Patrick; Huertas, Antonia & Manzano, María
Completeness in Hybrid Type Theory.Areces, Carlos; Blackburn, Patrick; Huertas, Antonia & Manzano, María

View all 19 citations / Add more citations

Added to PP index
2009-01-28

Total views
63 ( #39,577 of 50,335 )

Recent downloads (6 months)
7 ( #45,380 of 50,335 )

How can I increase my downloads?

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