The temporal logic of inductive frames with linear time

MaRDI QIDQ890830zbMATHFDO

Authors Veta Fedorovna Yun

Publication date 16 November 2015

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

Full work available at URL http://semr.math.nsc.ru/v7/p445-457.pdf

zbMATH Keywords

axiomatizationtemporal logicKripke framesfinite model property

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• Polymodal logic of the class of inductive linear time frames
• The temporal logic of linear time frames with inductions axiom
• Temporal logic of linearly ordered -spaces
• On linear logic of knowledge and time
• scientific article; zbMATH DE number 4210108

Cited in

(5)

• A Modal Logic That is Complete with Respect to Strictly Linearly Ordered A-Models
• On linear logic of knowledge and time
• The temporal logic of linear time frames with inductions axiom
• Temporal logic of linearly ordered \(\alpha\)-spaces
• Polymodal logic of the class of inductive linear time frames

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

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