Axiomatization of a branching time logic with indistinguishability relations
File(s)
Published version
Author(s)
Gatto, A
Type
Journal Article
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.
Date Issued
2015-04-21
Date Acceptance
2015-03-31
Citation
Journal of Philosophical Logic, 2015, 45 (2), pp.155-182
ISSN
1573-0433
Publisher
Springer
Start Page
155
End Page
182
Journal / Book Title
Journal of Philosophical Logic
Volume
45
Issue
2
Copyright Statement
© The Author(s) 2015. This is an open access article distributed under a CC-BY Licence 3.0 (https://creativecommons.org/licenses/by/3.0/)
License URL
Subjects
Philosophy
2203 Philosophy
1702 Cognitive Science
0801 Artificial Intelligence And Image Processing
Publication Status
Published