Propositional linear temporal logic with initial validity semantics

DOI10.1515/FORMA-2015-0030zbMATH Open1334.03013OpenAlexW2325566886MaRDI QIDQ271908FDOQ271908

Authors: 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

Recommendations

• Phase semantics for linear-time formalism
• Temporal logic and state systems
• scientific article; zbMATH DE number 3846861
• Sequent systems for PLTL
• PTL sequent calculus system

zbMATH Keywords

completenesstemporal logicvery strict until operator

Mathematics Subject Classification ID

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

Cites Work

• Mizar: State-of-the-art and Beyond
• Temporal logic and state systems
• Semantics of MML query -- ordering
• The axiomatization of propositional linear time temporal logic
• Title not available (Why is that?)

Cited In (2)

• Phase semantics for linear-time formalism
• The axiomatization of propositional logic

Uses Software

• Mizar

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

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