The temporal logic of inductive frames with linear time

zbMATH Open1329.03055MaRDI QIDQ890830FDOQ890830

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

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 \(\alpha\)-spaces
• On linear logic of knowledge and time
• scientific article

zbMATH Keywords

axiomatizationtemporal logicKripke framesfinite model property

Mathematics Subject Classification ID

Temporal logic (03B44)

Cited In (5)

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

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)