The temporal logic of linear time frames with inductions axiom

zbMath1299.03006MaRDI QIDQ2454548

Veta Fedorovna Yun

Publication date: 13 June 2014

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

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

zbMATH Keywords

finite model propertytemporal logicKripke framesaxiomatization

Mathematics Subject Classification ID

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

Related Items (2)

Multi-agent temporal nontransitive linear logics and the admissibility problem ⋮ On Linear Logic of Knowledge and Time

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