The temporal logic of inductive frames with linear time

zbMath1329.03055MaRDI QIDQ890830

Veta Fedorovna Yun

Publication date: 16 November 2015

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

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

zbMATH Keywords

finite model propertytemporal logicKripke framesaxiomatization

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (1)

On Linear Logic of Knowledge and Time

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