scientific article; zbMATH DE number 1749195

MaRDI QIDQ4532196zbMATH OpenFDO

Authors Yde Venema

Publication date 4 June 2002

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)

Recommendations

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

Cited in

(56)

• Eternity and development: the question of logical time in Leśniewski
• The interpretation of branching time diagrams
• scientific article; zbMATH DE number 4127179 (Why is no real title available?)
• scientific article; zbMATH DE number 4182845 (Why is no real title available?)
• Time and Logic: A.N. Prior’s Formal Analysis of Temporal Concepts
• Some observations about spatial logic
• Nominal tense logic
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• Prior on the logic and the metaphysics of time
• scientific article; zbMATH DE number 6125205 (Why is no real title available?)
• scientific article; zbMATH DE number 4119594 (Why is no real title available?)
• Temporal theories of reasoning
• Timing in music and modal temporal logic
• The logical approach to temporal reasoning
• scientific article; zbMATH DE number 4112561 (Why is no real title available?)
• From oughts to goals: a logic for Enkrasia
• Two temporal logics of contingency
• Event-based time-stamped claim logic
• scientific article; zbMATH DE number 195009 (Why is no real title available?)
• scientific article; zbMATH DE number 4119592 (Why is no real title available?)
• The tense logic for Master Argument in Prior's reconstruction
• Times in tense logic
• Handbook of philosophical logic. Vol. 7
• Conceptual Structures at Work
• Temporal logic with recursion
• Temporal logic and state systems
• Formal Modeling and Analysis of Timed Systems
• The formalities of temporaryism without presentness
• Temporal logic with accessibility temporal relations generated by time states themselves
• Tense logic and time
• A propositional logic of temporal connectives
• A spurious confusion in temporal logic
• scientific article; zbMATH DE number 1749139 (Why is no real title available?)
• Unified temporal logic
• Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
• Temporal landscapes: a graphical logic of behavior
• Reflections on temporal and modal logic
• The semantics of social constructivism
• Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
• Temporal Logics
• scientific article; zbMATH DE number 4119663 (Why is no real title available?)
• The iterative conception of set. A (bi-)modal axiomatisation
• scientific article; zbMATH DE number 6787711 (Why is no real title available?)
• scientific article; zbMATH DE number 4119593 (Why is no real title available?)
• A really temporal logic
• Formulas expressing totally nonstable truth values of formulas
• Does branching explain flow of time or the other way around?
• Prior and temporal sequences for natural language
• Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models
• Modal and temporal logics for abstract space-time structures
• scientific article; zbMATH DE number 1271171 (Why is no real title available?)
• Temporal defeasible reasoning
• Substructure Temporal Logic
• scientific article; zbMATH DE number 1778918 (Why is no real title available?)
• scientific article; zbMATH DE number 1444731 (Why is no real title available?)

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)