Natural Deduction Calculus for Linear-Time Temporal Logic
From MaRDI portal
Publication:3533121
DOI10.1007/11853886_7zbMath1152.03317OpenAlexW2148933857MaRDI 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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ A Labeled Natural Deduction System for a Fragment of CTL * ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis
This page was built for publication: Natural Deduction Calculus for Linear-Time Temporal Logic
