Natural Deduction Calculus for Linear-Time Temporal Logic
From MaRDI portal
Publication:3533121
DOI10.1007/11853886_7zbMath1152.03317MaRDI QIDQ3533121
No author found.
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
Related Items
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 Labeled Natural Deduction System for a Fragment of CTL *