Decidability for branching time
From MaRDI portal
Publication:1155599
DOI10.1007/BF00370320zbMath0467.03006MaRDI QIDQ1155599
Publication date: 1980
Published in: Studia Logica (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Second- and higher-order model theory (03C85)
Related Items (23)
Axiomatization of a branching time logic with indistinguishability relations ⋮ Hyperboolean Algebras and Hyperboolean Modal Logic ⋮ Системы временной логики I: моменты, истории, деревья ⋮ Derivation rules as anti-axioms in modal logic ⋮ Moment/history duality in Prior's logics of branching-time ⋮ A quantitative analysis of modal logic ⋮ A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later ⋮ A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES ⋮ Completeness of a branching-time logic with possible choices ⋮ On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators ⋮ Branching-time logic with quantification over branches: The point of view of modal logic ⋮ A propositional linear time logic with time flow isomorphic to \(\omega^2\) ⋮ Decidability of a partial order based temporal logic ⋮ TABLEAUX: A general theorem prover for modal logics ⋮ A logical characterization of well branching event structures ⋮ An axiomatization of full Computation Tree Logic ⋮ Quantification over sets of possible worlds in branching-time semantics ⋮ Axiomatization of `Peircean' branching-time logic ⋮ Models and logics for true concurrency. ⋮ First-order definability of transition structures ⋮ A strict implication calculus for compact Hausdorff spaces ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras ⋮ Modal logics of domains on the real plane
Cites Work
This page was built for publication: Decidability for branching time
