Pages that link to "Item:Q2771498"
From MaRDI portal
The following pages link to Combined temporal and modal logic. Completeness results for predicate logic languages (Q2771498):
Displaying 8 items.
- Fooling around with tenses (Q643107) (← links)
- Combinations of tense and modality for predicate logic (Q1303794) (← links)
- Propositional \(\text Q\)-logic (Q1863958) (← links)
- (Q3553860) (← links)
- Completeness and decidability of tense logics closely related to logics above K4 (Q4338319) (← links)
- (Q4475068) (← links)
- (Q4518865) (← links)
- Model Theoretic Syntax and Parsing (Q4923571) (← links)