Natural Deduction Calculus for Linear-Time Temporal Logic

DOI10.1007/11853886_7MaRDI QIDQ3533121zbMATH OpenOpenAlexFDO

Authors

Publication date 30 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11853886_7

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in artificial intelligence (68T27)

Recommendations

• Natural deduction system for linear time temporal logic
• A labelled natural deduction system for linear temporal logic
• Sequent systems for PLTL
• N system: A natural temporal deduction system
• scientific article; zbMATH DE number 3974944

Cited in

(10)

• N system: A natural temporal deduction system
• A labelled natural deduction system for linear temporal logic
• Nonclausal deduction in first-order temporal logic
• A Labeled Natural Deduction System for a Fragment of CTL *
• Automated correspondence analysis for the binary extensions of the logic of paradox
• Automated deduction in a graphical temporal logic
• Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
• Natural deduction system for linear time temporal logic
• A unified Gentzen-style framework for until-free LTL
• Unified sequent calculi and natural deduction systems for until-free linear-time temporal logics

This page was built for publication: Natural Deduction Calculus for Linear-Time Temporal Logic

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