Pages that link to "Item:Q4238498"
From MaRDI portal
The following pages link to Temporal patterns and modal structure (Q4238498):
Displaying 11 items.
- Tense logic and time (Q791514) (← links)
- Structure of phenomenological forms: morphologic rhythm (Q871652) (← links)
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. (Q1188997) (← links)
- Logics and decidability for labelled pre- and partially ordered Kripke structures (Q1328764) (← links)
- First-order definability of transition structures (Q2322984) (← links)
- Temporal prepositions and their logic (Q2457655) (← links)
- Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
- Some observations about spatial logic (Q2736976) (← links)
- Aspect analysis in arrow logic (Q2776470) (← links)
- Conceptual Structures for Knowledge Creation and Communication (Q5900609) (← links)
- Modal intervals (Q5935455) (← links)