Undivided and indistinguishable histories in branching-time logics
type: Item
instance of: scholarly article
title: Undivided and indistinguishable histories in branching-time logics
zbMATH Open document ID: 0921.03024
DOI: 10.1023/A:1008259000544
author: Alberto Zanardo
published in: Journal of Logic, Language and Information
publication date: 1999-09-29T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 1290124
zbMATH Keywords: indistinguishable histories
zbMATH Keywords: temporal logic
zbMATH Keywords: undivided histories
zbMATH Keywords: tree-like representation of time
zbMATH Keywords: branching-time logics
zbMATH Keywords: semantics
MaRDI profile type: Publication
Recommended article: Axiomatization of a branching time logic with indistinguishability relations
Recommended article: Moment/history duality in Prior's logics of branching-time
Recommended article: Un)Decidability for History Preserving True Concurrent Logics.
Recommended article: An infinite hierarchy of temporal logics over branching time
Recommended article: Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters
Recommended article: The temporal logic of branching time
Recommended article: A note about the axioms for branching-time logic
Recommended article: A branching time logic with past operators
Recommended article: Serializable histories in quantified propositional temporal logic
Recommended article: Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity
description: scientific article; zbMATH DE number 1290124