Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior

MaRDI QIDQ2880593zbMATH OpenFDO

Authors Nikolay V. Shilov

Publication date 13 April 2012

Published in Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science (Search for Journal in Brave)

zbMATH Keywords

semanticsfairness constraintstuttering automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• A tableau for general linear temporal logic
• The axiomatization of propositional linear time temporal logic
• A tableau construction for finite linear-time temporal logic
• A general tableau method for propositional interval temporal logics: theory and implementation
• A general tableau method for propositional interval temporal logics
• scientific article; zbMATH DE number 3937153
• Tableau methods for modal and temporal logics
• An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions
• A tableau for temporal logic over the reals

Cited in

(5)

• Propositional temporal logics: decidability and completeness
• A quick axiomatisation of LTL with past
• scientific article; zbMATH DE number 1189110 (Why is no real title available?)
• From the archives of the formal methods and tools lab. Axiomatising and contextualising ACTL
• scientific article; zbMATH DE number 6423748 (Why is no real title available?)

This page was built for publication: Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior

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