Polymodal logic of the class of inductive linear time frames

DOI10.17377/SEMI.2015.12.035zbMath1345.03032MaRDI QIDQ2630564

Veta Fedorovna Yun

Publication date: 28 July 2016

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

zbMATH Keywords

completenessfinite model propertyKripke framesaxiomatizationpolymodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Related Items (1)

Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality

This page was built for publication: Polymodal logic of the class of inductive linear time frames