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