Системы временной логики I: моменты, истории, деревья

DOI10.21146/2074-1472-2021-27-2-153-184OpenAlexW4200363095MaRDI QIDQ5059703

Oleg Grigor'ev

Publication date: 16 January 2023

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2021-27-2-153-184

zbMATH Keywords

linear timebranching timeindeterminismlogic of timefuture contigents

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Transition semantics for branching time
• The truth about the future
• Moment/history duality in Prior's logics of branching-time
• Towards a general theory of action and time
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• On some \(U,S\)-tense logics
• A decidable temporal logic of parallelism
• Axioms for tense logic. I: 'Since' and 'until'
• Decidability for branching time
• An axiomatization for until and since over the reals without the IRR rule
• Undivided and indistinguishable histories in branching-time logics
• Handbook of philosophical logic. Vol. 7
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• Time structures. Formal description and algorithmic representation
• Temporal logic. From ancient ideas to artificial intelligence
• Towards a theory of limited indeterminism in branching space-times
• New foundations for branching space-times
• Axiomatization of `Peircean' branching-time logic
• First-order definability of transition structures
• Quantification over sets of possible worlds in branching-time semantics
• An axiomatization of full Computation Tree Logic
• Temporal Logics in Computer Science
• The decision problem for branching time logic
• Logic and time
• The unreal future
• Actions and Events in Interval Temporal Logic
• Branching-time logic with quantification over branches: The point of view of modal logic
• Indeterminist time and truth‐value gaps¹
• A Theory of Causation: Causae Causantes (Originating Causes) as Inus Conditions in Branching Space-Times
• Axioms for Branching Time

This page was built for publication: Системы временной логики I: моменты, истории, деревья