Axioms for Branching Time

DOI10.1093/logcom/12.4.679zbMath1004.03015OpenAlexW2049128357WikidataQ114632460 ScholiaQ114632460MaRDI QIDQ5894818

M. A. Reynolds

Publication date: 6 February 2003

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

Full work available at URL: https://semanticscholar.org/paper/2912ea0d7c3d7af469dd83eafc237716a760af1c

zbMATH Keywords

decidabilitytemporal logicbranching timeaxiomatizationshistorical necessity

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (8)

Axiomatization of a branching time logic with indistinguishability relations ⋮ A STIT logic for reasoning about social influence ⋮ A Tableau for Bundled Strategies ⋮ Системы временной логики I: моменты, истории, деревья ⋮ On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators ⋮ Rewrite rules for \(\mathrm{CTL}^\ast\) ⋮ Quantification over sets of possible worlds in branching-time semantics ⋮ First-order definability of transition structures

This page was built for publication: Axioms for Branching Time