scientific article; zbMATH DE number 1749195
From MaRDI portal
Publication:4532196
zbMATH Open0997.03019MaRDI QIDQ4532196FDOQ4532196
Authors: Yde Venema
Publication date: 4 June 2002
Title of this publication is not available (Why is that?)
Recommendations
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Temporal logic (03B44)
Cited In (56)
- Eternity and development: the question of logical time in Leśniewski
- Title not available (Why is that?)
- The interpretation of branching time diagrams
- Title not available (Why is that?)
- Time and Logic: A.N. Prior’s Formal Analysis of Temporal Concepts
- Some observations about spatial logic
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
- Nominal tense logic
- Title not available (Why is that?)
- Prior on the logic and the metaphysics of time
- Title not available (Why is that?)
- Title not available (Why is that?)
- Temporal theories of reasoning
- Timing in music and modal temporal logic
- The logical approach to temporal reasoning
- Title not available (Why is that?)
- From oughts to goals: a logic for Enkrasia
- Two temporal logics of contingency
- Title not available (Why is that?)
- Event-based time-stamped claim logic
- Title not available (Why is that?)
- Conceptual Structures at Work
- Handbook of philosophical logic. Vol. 7
- The tense logic for Master Argument in Prior's reconstruction
- Times in tense logic
- Temporal logic with recursion
- Formal Modeling and Analysis of Timed Systems
- Temporal logic and state systems
- A propositional logic of temporal connectives
- A spurious confusion in temporal logic
- Title not available (Why is that?)
- The formalities of temporaryism without presentness
- Temporal logic with accessibility temporal relations generated by time states themselves
- Tense logic and time
- Unified temporal logic
- Temporal landscapes: a graphical logic of behavior
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
- Temporal Logics
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
- Reflections on temporal and modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- The semantics of social constructivism
- Title not available (Why is that?)
- Formulas expressing totally nonstable truth values of formulas
- A really temporal logic
- The iterative conception of set. A (bi-)modal axiomatisation
- Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models
- Does branching explain flow of time or the other way around?
- Prior and temporal sequences for natural language
- Temporal defeasible reasoning
- Title not available (Why is that?)
- Substructure Temporal Logic
- Modal and temporal logics for abstract space-time structures
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4532196)