You are accessing PhilPapers from Open University (UK), an institution that is not subscribed to PhilPapers. Starting on July 1, 2014, we ask institutions that grant philosophy degrees and are based in high-GDP countries to contribute to PhilPapers' maintenance and development through a subscription. See this page for details. Please show your support by contacting your librarian.

Hierarchies of modal and temporal logics with reference pointers

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.
Keywords Modal and temporal logics  reference pointers  expressiveness  axiomatization  completeness
Categories No categories specified
(categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 10,350
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Citations of this work BETA
M. J. Cresswell (2010). Temporal Reference in Linear Tense Logic. Journal of Philosophical Logic 39 (2):173 - 200.
Martin Lange (2009). Model Checking for Hybrid Logic. Journal of Logic, Language and Information 18 (4):465-491.
Similar books and articles
Analytics

Monthly downloads

Added to index

2009-01-28

Total downloads

4 ( #247,088 of 1,096,707 )

Recent downloads (6 months)

1 ( #271,187 of 1,096,707 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.