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

Descripción completa

Detalles Bibliográficos
Publicado en:	Journal of Philosophical Logic Vol. 45; no. 2; pp. 155 - 183
Autor principal:	Gatto, Alberto
Formato:	Artículo
Publicado:	Springer Nature Apr2016
Materias:	Semantics (Philosophy) Mathematical logic Language & languages Rules (Philosophy) Interpretation (Philosophy)
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	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.