Finite and Circular Path Models for Branching Time Logics

DOI10.1093/LOGCOM/1.1.71zbMath0722.03026OpenAlexW1987169080MaRDI QIDQ5753939

Michael Kaminski, Michael Tiomkin

Publication date: 1990

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/1.1.71

zbMATH Keywords

temporal logicbranching time logicspath modelsnon-deterministic programs

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (1)

A branching time logic with past operators

This page was built for publication: Finite and Circular Path Models for Branching Time Logics