The following pages link to (Q4342095):
Displayed 50 items.
- Time and determinism (Q266653) (← links)
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- Axiomatization of a branching time logic with indistinguishability relations (Q288245) (← links)
- Branching in the landscape of possibilities (Q393608) (← 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)
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q498234) (← links)
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
- Propensities and probabilities (Q643104) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Actions as events (Q692178) (← links)
- A unifying semantics for time and events (Q814548) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- The tense logic for Master Argument in Prior's reconstruction (Q1037591) (← links)
- A finite axiomatization of the set of strongly valid Ockhamist formulas (Q1066884) (← links)
- A decidable temporal logic of parallelism (Q1130239) (← links)
- Branching space-time (Q1198418) (← links)
- The way of the agent (Q1207431) (← links)
- Time and modality in the logic of agency (Q1207433) (← links)
- A Gabbay-rule free axiomatization of \(T\times W\) validity (Q1272831) (← links)
- Axioms for deliberative stit (Q1272834) (← links)
- Agency and obligation (Q1292991) (← links)
- Combinations of tense and modality for predicate logic (Q1303794) (← links)
- Doing and refraining from refraining (Q1337507) (← links)
- Conditional obligation, deontic paradoxes, and the logic of agency (Q1353841) (← links)
- T \(\times\) W completeness (Q1362587) (← links)
- Allen-like theory of time for tree-like structures (Q1706167) (← links)
- Events in branching time (Q1780898) (← links)
- Editors' introduction to the special issue on combining logics (Q1815423) (← links)
- Propositional \(\text Q\)-logic (Q1863958) (← links)
- Busy choice sequences refraining formulas and modalities (Q1893121) (← links)
- The deliberative stit: A study of action, omission, ability, and obligation (Q1908789) (← links)
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization (Q1914372) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- Axiomatising the Prior future in predicate logic (Q1945707) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- The actual future is open (Q2052151) (← links)
- How to prove Hume's law (Q2144208) (← links)
- Orthogonal frames and indexed relations (Q2148794) (← links)
- The thin red line, Molinism, and the flow of time (Q2209167) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q2436101) (← links)
- Actions and outcomes: two aspects of agency (Q2460164) (← links)
- Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
- An axiomatization of PCTL* (Q2566222) (← links)