Phase semantics for linear-time formalism

DOI10.1093/JIGPAL/JZQ023MaRDI QIDQ3081245zbMATH OpenOpenAlexFDO

Authors Norihiro Kamide

Publication date 7 March 2011

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzq023

zbMATH Keywords

completeness theoremcut-elimination theoremlinear logiclinear-time temporal logicphase semantics

Mathematics Subject Classification ID

Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 1361538
• PTL sequent calculus system
• Linear temporal logic with until and next, logical consecutions
• Temporal logic and state systems
• Propositional linear temporal logic with initial validity semantics

Cited in

(6)

• Propositional linear temporal logic with initial validity semantics
• scientific article; zbMATH DE number 3919813 (Why is no real title available?)
• Temporal BI: proof system, semantics and translations
• Temporal Gödel-Gentzen and Girard translations
• Assumption/guarantee specifications in linear-time temporal logic (extended abstract)
• Constructive linear-time temporal logic: proof systems and Kripke semantics

This page was built for publication: Phase semantics for linear-time formalism

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