The temporal logic of linear time frames with inductions axiom

zbMATH Open1299.03006MaRDI QIDQ2454548FDOQ2454548

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

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

zbMATH Keywords

axiomatizationtemporal logicKripke framesfinite model property

Mathematics Subject Classification ID

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

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
• On linear logic of knowledge and time
• Temporal logic of linearly ordered \(\alpha\)-spaces
• 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 \(\omega^2\)
• Cyclic Proofs for Linear Temporal Logic
• Title not available (Why is that?)

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)