Pages that link to "Item:Q1837679"
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 (Q1837679):
Displayed 41 items.
- The logic of empirical theories revisited (Q383008) (← links)
- Thick 2D relations for document understanding (Q558037) (← links)
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- A modal logic framework for reasoning about comparative distances and topology (Q636293) (← links)
- Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements (Q833736) (← links)
- Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms (Q929294) (← links)
- Complete embeddings of linear orderings and embeddings of lattice-ordered groups (Q1089362) (← links)
- Modeling concurrency with partial orders (Q1091134) (← links)
- Interpreting a dynamic and uncertain world: task-based control (Q1128764) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- On logics with coimplication (Q1272827) (← links)
- Axiomatisation and decidability of \(F\) and \(P\) in cyclical time (Q1319266) (← links)
- A comparison of point-based approaches to qualitative temporal reasoning (Q1606329) (← links)
- Events in branching time (Q1780898) (← links)
- Ordinal scales in the theory of measurement (Q1821722) (← links)
- Some considerations on nonlinear time intervals (Q1910894) (← links)
- Event-based time-stamped claim logic (Q2043818) (← links)
- Defining a relativity-proof notion of the present via spatio-temporal indeterminism (Q2072033) (← links)
- Multi-agent logics with multi-valuations and intensional logical operations (Q2207025) (← links)
- Multi-agent temporal nontransitive linear logics and the admissibility problem (Q2213922) (← links)
- An unified CGA-based formal expression of spatio-temporal topological relations for Computation and analysis of geographic objects (Q2274728) (← links)
- Taking times out: tense logic as a theory of time (Q2351916) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Planning temporal events using point-interval logic (Q2473196) (← links)
- A multiset-based model of synchronizing agents: Computability and robustness (Q2474434) (← links)
- The complexity of finite model reasoning in description logics (Q2486582) (← links)
- Atoms of tense algebras (Q2640599) (← links)
- A spurious confusion in temporal logic (Q2987735) (← links)
- Mereology and uncertainty (Q2987749) (← links)
- FULL MEREOGEOMETRIES (Q3066777) (← links)
- Timing in music and modal temporal logic (Q3630089) (← links)
- Decidability: theorems and admissible rules (Q3643317) (← links)
- THE LOGIC AND TOPOLOGY OF KANT’S TEMPORAL CONTINUUM (Q4637953) (← links)
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
- Temporal theories of reasoning (Q4835517) (← links)
- A propositional dense time logic (Q5044765) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)
- A functorial semantics for observed concurrency (Q5096853) (← links)
- A note on the modal and temporal logics for \(n\)-dimensional spacetime (Q5937837) (← links)
- Temporal representation and reasoning in artificial intelligence: A review (Q5943344) (← links)
- Tense logic based on finite orthomodular posets (Q6103758) (← links)