The following pages link to T \(\times\) W completeness (Q1362587):
Displayed 13 items.
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
- Fooling around with tenses (Q643107) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← 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)
- Propositional \(\text Q\)-logic (Q1863958) (← links)
- Axiomatising the Prior future in predicate logic (Q1945707) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- Indistinguishability, choices, and logics of agency (Q2016056) (← links)
- Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation (Q2568340) (← 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)