Pages that link to "Item:Q1303794"
From MaRDI portal
The following pages link to Combinations of tense and modality for predicate logic (Q1303794):
Displaying 14 items.
- Time and determinism (Q266653) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- T \(\times\) W completeness (Q1362587) (← links)
- A functional approach for temporal \(\times\) modal logics (Q1403342) (← 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)
- Combined temporal and modal logic. Completeness results for predicate logic languages (Q2771498) (← links)
- Quantified temporal alethic-deontic logic (Q2987727) (← links)
- Some System of Predicate Tense Logic (Q3695255) (← links)
- Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox (Q4683215) (← links)
- (Q5439661) (← links)