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

zbMATH Open1249.68110MaRDI QIDQ2880593FDOQ2880593

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)

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

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)

Cited In (5)

• A quick axiomatisation of LTL with past
• Propositional temporal logics: decidability and completeness
• From the archives of the formal methods and tools lab. Axiomatising and contextualising ACTL
• Title not available (Why is that?)
• Title not available (Why is that?)

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)