Pages that link to "Item:Q1188997"
From MaRDI portal
The following pages link to The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. (Q1188997):
Displayed 37 items.
- Adjectival and adverbial modification: the view from modern type theories (Q683682) (← links)
- The soundness of internalized polarity marking (Q692201) (← links)
- Arthur Prior and hybrid logic (Q857663) (← links)
- Predicate logic with flexibly binding operators and natural language semantics (Q1314273) (← links)
- Finite \(H\)-dimension does not imply expressive completeness (Q1337512) (← links)
- On point-based temporal disjointness (Q1342229) (← links)
- A qualitative fuzzy possibilistic logic (Q1344258) (← links)
- Reasoning about update logic (Q1344850) (← links)
- Reasoning about causality between distributed nonatomic events (Q1402743) (← links)
- Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies (Q1414569) (← links)
- Multiagent temporal logics with multivaluations (Q1617988) (← links)
- Allen-like theory of time for tree-like structures (Q1706167) (← links)
- A general framework for reasoning about change (Q1877375) (← links)
- A propositional probabilistic logic with discrete linear time for reasoning about evidence (Q1928821) (← links)
- Lattices of finitely alternative normal tense logics (Q2062217) (← links)
- Measuring inconsistency in some logics with tense operators (Q2080703) (← links)
- The mereotopology of time (Q2319892) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 (Q2499308) (← links)
- Past, present and future modally introduced (Q2695165) (← links)
- Philosophy of science in the Netherlands (Q2713325) (← links)
- Two-sorted Point-Interval Temporal Logics (Q2825405) (← links)
- Inference Rules in Multi-agents’ Temporal Logics (Q3013073) (← links)
- About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability (Q3298275) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL (Q3507416) (← links)
- Temporal Logics with Reference Pointers and Computation Tree Logics (Q4443400) (← links)
- (Q4580322) (← links)
- Temporal theories of reasoning (Q4835517) (← links)
- A Branching Time Logical System for Open Distributed Systems Development (Q4916209) (← links)
- (Q4966050) (← links)
- Probabilistic Temporal Logics (Q5024714) (← links)
- (Q5109523) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)
- Temporal agent programs (Q5940961) (← links)
- Branching time, perfect information games, and backward induction (Q5954142) (← links)