The temporal logic of linear time frames with inductions axiom

MaRDI QIDQ2454548zbMATH OpenFDO

Authors Veta Fedorovna Yun

Publication date 13 June 2014

Published in Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL http://semr.math.nsc.ru/v6/p312-325.pdf

zbMATH Keywords

axiomatizationtemporal logicKripke framesfinite model property

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Recommendations

• The temporal logic of inductive frames with linear time
• An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions
• The axiomatization of propositional linear time temporal logic
• Axiomatising first-order temporal logic: Until and since over linear time
• scientific article; zbMATH DE number 4045713
• A complete axiomatic characterization of first-order temporal logic of linear time
• scientific article; zbMATH DE number 6287569
• Polymodal logic of the class of inductive linear time frames
• Intuitionistic linear temporal logics
• scientific article; zbMATH DE number 1696880

Cited in

(10)

• Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics
• Multi-agent temporal nontransitive linear logics and the admissibility problem
• Polymodal logic of the class of inductive linear time frames
• Temporal logic of linearly ordered -spaces
• On linear logic of knowledge and time
• On Topologically Relevant Fragments of the Logic of Linear Flows of Time
• The temporal logic of inductive frames with linear time
• A propositional linear time logic with time flow isomorphic to ^2
• Cyclic Proofs for Linear Temporal Logic
• scientific article; zbMATH DE number 4045713 (Why is no real title available?)

This page was built for publication: The temporal logic of linear time frames with inductions axiom

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2454548)