Back from the future

DOI10.3166/JANCL.20.241-277MaRDI QIDQ2901197zbMATH OpenOpenAlexFDO

Authors Luca Viganò, Marco Volpe, Andrea Masini

Publication date 17 July 2012

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.20.241-277

zbMATH Keywords

labeled deductionLTLnatural deductiontemporal logicuntil

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• A history of until
• scientific article; zbMATH DE number 1678382
• The complexity of the temporal logic with ``until over general linear time
• \textit{Once} and \textit{for all}
• Linear temporal logic with until and next, logical consecutions

Cites work

• A combinatorial characterization of the Hermitian surface
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
• A general tableau method for propositional interval temporal logics: theory and implementation
• A hierarchy of temporal logics with past
• A propositional modal logic of time intervals
• An approach to tense logic¹
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 2207163 (Why is no real title available?)
• Hybrid languages and temporal logic
• Labelled tableaux for distributed temporal logic
• Temporal Logics with Reference Pointers and Computation Tree Logics
• Towards a general theory of action and time

Cited in

(3)

• A history of until
• scientific article; zbMATH DE number 624920 (Why is no real title available?)
• Natural deduction calculi for classical and intuitionistic S5

This page was built for publication: Back from the future

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