Moment/history duality in Prior's logics of branching-time
type: Item
instance of: scholarly article
title: Moment/history duality in Prior's logics of branching-time
zbMATH Open document ID: 1108.03023
author: Alberto Zanardo
published in: Synthese
publication date: 2006-12-20T00:00:00Z
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 5080778
MaRDI profile type: Publication
full work available at URL: s11229-005-5519-4
OpenAlex ID: W2039775562
cites work: Q4349287
cites work: The unreal future
cites work: Decidability for branching time
cites work: Special issue in memory of P. S. Alexandroff. Part 2
cites work: Temporal logic. From ancient ideas to artificial intelligence
cites work: Q5556395
cites work: Topological aspects of branching-time semantics
cites work: A finite axiomatization of the set of strongly valid Ockhamist formulas
cites work: Branching-time logic with quantification over branches: The point of view of modal logic
DOI: 10.1007/S11229-005-5519-4
description: scientific article; zbMATH DE number 5080778