scientific article; zbMATH DE number 1749195

zbMATH Open0997.03019MaRDI QIDQ4532196FDOQ4532196

Authors: Yde Venema 

Publication date: 4 June 2002

Title of this publication is not available (Why is that?)

Recommendations

• Publication:4733377
• Temporal logic. From ancient ideas to artificial intelligence
• The temporal logic of branching time
• Publication:4733378
• Temporal patterns and modal structure

zbMATH Keywords

surveymodal logictense logictemporal logic

Mathematics Subject Classification ID

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)