Propositional linear temporal logic with initial validity semantics

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

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

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

Cites Work

• Title not available (Why is that?)
• 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

Cited In (1)

• 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)