The following pages link to Decidability for branching time (Q1155599):
Displayed 23 items.
- Axiomatization of a branching time logic with indistinguishability relations (Q288245) (← links)
- A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later (Q395587) (← links)
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- Modal logics of domains on the real plane (Q794634) (← links)
- Moment/history duality in Prior's logics of branching-time (Q857669) (← links)
- TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
- A logical characterization of well branching event structures (Q1190487) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- Axiomatization of `Peircean' branching-time logic (Q2276944) (← links)
- First-order definability of transition structures (Q2322984) (← links)
- A strict implication calculus for compact Hausdorff spaces (Q2326420) (← links)
- A propositional linear time logic with time flow isomorphic to \(\omega^2\) (Q2447179) (← links)
- Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
- An axiomatization of full Computation Tree Logic (Q2758043) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- A quantitative analysis of modal logic (Q4292605) (← links)
- Hyperboolean Algebras and Hyperboolean Modal Logic (Q4531582) (← links)
- Decidability of a partial order based temporal logic (Q4630294) (← links)
- Branching-time logic with quantification over branches: The point of view of modal logic (Q4879898) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)
- Models and logics for true concurrency. (Q5955751) (← links)
- A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES (Q6072337) (← links)