Synchronized linear-time temporal logic

DOI10.1007/S11225-011-9357-8zbMATH Open1271.03026OpenAlexW2086839141MaRDI QIDQ647400FDOQ647400

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

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

zbMATH Keywords

completenesssequent calculuscut-eliminationdisplay calculuslinear-time temporal logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

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