Pages that link to "Item:Q4879898"
From MaRDI portal
The following pages link to Branching-time logic with quantification over branches: The point of view of modal logic (Q4879898):
Displaying 29 items.
- A STIT logic for reasoning about social influence (Q310094) (← links)
- A future for the thin red line (Q393615) (← links)
- BH-CIFOL: case-intensional first order logic. II: Branching histories (Q484180) (← links)
- On possible worlds with modal parts. A semantics for modal interaction (Q484200) (← links)
- The truth about the future (Q488366) (← links)
- Agency and fictional truth: a formal study on fiction-making (Q514095) (← links)
- Rewrite rules for \(\mathrm{CTL}^\ast\) (Q518745) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Moment/history duality in Prior's logics of branching-time (Q857669) (← links)
- Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
- A Gabbay-rule free axiomatization of \(T\times W\) validity (Q1272831) (← links)
- Combinations of tense and modality for predicate logic (Q1303794) (← links)
- Logics and decidability for labelled pre- and partially ordered Kripke structures (Q1328764) (← links)
- A functional approach for temporal \(\times\) modal logics (Q1403342) (← links)
- Global view on reactivity: switch graphs and their logics (Q1935598) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- Indistinguishability, choices, and logics of agency (Q2016056) (← links)
- First-order definability of transition structures (Q2322984) (← links)
- Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
- An axiomatization of PCTL* (Q2566222) (← links)
- An axiomatization of full Computation Tree Logic (Q2758043) (← links)
- Decidability and Expressivity of Ockhamist Propositional Dynamic Logics (Q2835868) (← links)
- A Labeled Natural Deduction System for a Fragment of CTL * (Q3605539) (← links)
- Temporal Logics with Reference Pointers and Computation Tree Logics (Q4443400) (← links)
- Temporal logic and its application to normative reasoning (Q4583324) (← links)
- Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox (Q4683215) (← links)
- A Branching Time Logical System for Open Distributed Systems Development (Q4916209) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)
