Abstract
Trees with indistinguishability relations provide a semantics for a temporal language “composed by” the Peircean tense operators and the Ockhamist modal operator. In this paper, a finite axiomatization with a non standard rule for this language interpreted over bundled trees with indistinguishability relations is given. This axiomatization is proved to be sound and strongly complete.
Highlights
Branching-time logics have traditionally played a major role in modelling nondeterministic theories about time
The essential difference between them is the interpretation of the future operator F in a tree-like representation of time
In Peircean semantics, F φ is read as “eventually in the future, on every history passing through the moment under consideration, φ will happen”
Summary
Branching-time logics have traditionally played a major role in modelling nondeterministic theories about time. The Ockhamist language counterpart of the branching aspect of time is a modal operator L that quantifies over the set of histories passing through the moment under consideration. The tense operators have a Peircean reading, but the implicit quantification over histories is restricted to the indistinguishability class under consideration As it is pointed out in [22], Ockhamist and Peircean semantics correspond to the limit cases of the I -tree semantics in which each (respectively, no) history passing through t is distinguishable at t from any other. A finite axiomatization with a non standard rule for such a language interpreted over bundled I -trees with indistinguishability relations is given This axiomatization is proved to be sound and strongly complete.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.