The following pages link to (Q4518428):
Displayed 9 items.
- Agency and fictional truth: a formal study on fiction-making (Q514095) (← links)
- A decidable temporal logic of parallelism (Q1130239) (← links)
- A Gabbay-rule free axiomatization of \(T\times W\) validity (Q1272831) (← links)
- Combinations of tense and modality for predicate logic (Q1303794) (← links)
- T \(\times\) W completeness (Q1362587) (← links)
- Propositional \(\text Q\)-logic (Q1863958) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- Indistinguishability, choices, and logics of agency (Q2016056) (← links)
- The actual future is open (Q2052151) (← links)