Axiomatization of a Branching Time Logic with Indistinguishability Relations.

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 indistinguishabilit...

Full description

Bibliographic Details

Published in:	Journal of Philosophical Logic Vol. 45; no. 2; pp. 155 - 183
Main Author:	Gatto, Alberto
Format:	Article
Published:	Springer Nature Apr2016
Subjects:	Semantics (Philosophy) Mathematical logic Language & languages Rules (Philosophy) Interpretation (Philosophy)
Online Access:	View this record in EBSCOhost