Synchronized linear-time temporal logic

DOI10.1007/S11225-011-9357-8MaRDI QIDQ647400zbMATH OpenOpenAlexFDO

Authors Heinrich Wansing, Norihiro Kamide

Publication date 23 November 2011

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-011-9357-8

zbMATH Keywords

completenesssequent calculuscut-eliminationdisplay calculuslinear-time temporal logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Recommendations

• Synchronization of logics
• PTL sequent calculus system
• scientific article; zbMATH DE number 1107622
• scientific article; zbMATH DE number 1678382
• scientific article; zbMATH DE number 1678387

Cites work

• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• A Paraconsistent Linear-time Temporal Logic
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Combining linear-time temporal logic with constructiveness and paraconsistency
• Displaying and deciding substructural logics. I: Logics with contraposition
• Displaying modal logic
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
• Gaggles, Gentzen and Galois: how to display your favourite substructural logic
• Many-dimensional modal logics: theory and applications
• Sequential Calculus for a First Order Infinitary Temporal Logic
• Some remarks on the consequence operation in sentential logics
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(4)

• scientific article; zbMATH DE number 1670484 (Why is no real title available?)
• Temporal BI: proof system, semantics and translations
• Dynamic linear time temporal logic
• Inconsistency-tolerant multi-agent calculus

This page was built for publication: Synchronized linear-time temporal logic

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