Pages that link to "Item:Q1272831"
From MaRDI portal
The following pages link to A Gabbay-rule free axiomatization of \(T\times W\) validity (Q1272831):
Displayed 9 items.
- Fooling around with tenses (Q643107) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
- A decidable temporal logic of parallelism (Q1130239) (← links)
- Propositional \(\text Q\)-logic (Q1863958) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- Indistinguishability, choices, and logics of agency (Q2016056) (← 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)