Natural Deduction Calculus for Linear-Time Temporal Logic

DOI10.1007/11853886_7zbMATH Open1152.03317OpenAlexW2148933857MaRDI QIDQ3533121FDOQ3533121

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• N system: A natural temporal deduction system
• Automated correspondence analysis for the binary extensions of the logic of paradox
• Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
• A labelled natural deduction system for linear temporal logic
• Nonclausal deduction in first-order temporal logic
• Natural deduction system for linear time temporal logic
• Automated deduction in a graphical temporal logic
• A Labeled Natural Deduction System for a Fragment of CTL *

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)