Pages that link to "Item:Q1303794"
From MaRDI portal
The following pages link to Combinations of tense and modality for predicate logic (Q1303794):
Displaying 9 items.
- Time and determinism (Q266653) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← 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)
- A two dimensional tense-modal sortal logic (Q2454876) (← links)
- Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
- Quantified temporal alethic-deontic logic (Q2987727) (← links)
- Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox (Q4683215) (← links)
