Decidability by resolution for propositional modal logics

DOI10.1023/A:1006043519663zbMath0924.68178MaRDI QIDQ1284704

Renate A. Schmidt

Publication date: 26 April 1999

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

decidabilitymodal reasoningresolution procedures

Mathematics Subject Classification ID

Related Items (8)

Automated theorem proving by resolution in non-classical logics ⋮ Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) ⋮ Resolution with order and selection for hybrid logics ⋮ First-Order Resolution Methods for Modal Logics ⋮ Efficient local reductions to basic modal logic ⋮ Unsorted Functional Translations ⋮ EXPtime tableaux for ALC ⋮ Local is best: efficient reductions to modal logic \textsf{K}

This page was built for publication: Decidability by resolution for propositional modal logics