Back from the future

DOI10.3166/jancl.20.241-277zbMath1242.03046OpenAlexW1993543963MaRDI QIDQ2901197

Marco Volpe, Luca Viganò, 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

natural deductiontemporal logicLTLuntillabeled deduction

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (1)

Natural deduction calculi for classical and intuitionistic S5

Cites Work

• A hierarchy of temporal logics with past
• Towards a general theory of action and time
• A general tableau method for propositional interval temporal logics: theory and implementation
• Labelled Tableaux for Distributed Temporal Logic
• Hybrid languages and temporal logic
• A propositional modal logic of time intervals
• Temporal Logics with Reference Pointers and Computation Tree Logics
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
• An approach to tense logic¹
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Back from the future