Destructive Modal Resolution
From MaRDI portal
Publication:5202172
DOI10.1093/logcom/1.1.83zbMath0724.03011OpenAlexW2121609151MaRDI QIDQ5202172
Publication date: 1990
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/1.1.83
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
A tableau-like proof procedure for normal modal logics ⋮ Tableaus for many-valued modal logic ⋮ Resolution with order and selection for hybrid logics ⋮ A logic for reasoning with inconsistency ⋮ Temporal reasoning over linear discrete time ⋮ A new methodology for developing deduction methods
This page was built for publication: Destructive Modal Resolution
