Propositional linear temporal logic with initial validity semantics

DOI10.1515/FORMA-2015-0030zbMath1334.03013OpenAlexW2325566886MaRDI QIDQ271908

Mariusz Giero

Publication date: 20 April 2016

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2015-0030

zbMATH Keywords

completenesstemporal logicvery strict until operator

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Related Items (1)

The axiomatization of propositional logic

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Temporal logic and state systems
• Semantics of MML Query - Ordering
• The Axiomatization of Propositional Linear Time Temporal Logic
• Mizar: State-of-the-art and Beyond

This page was built for publication: Propositional linear temporal logic with initial validity semantics