The global properties of valid formulas in modal logic K

Modal resolution in clausal form

Patrice Enjalbert, Luís Fariñas del Cerro · Theoretical Computer Science · 1989 · 78 citations

Language Studies, Linguistics, Syntax +6

TABLEAUX: A general theorem prover for modal logics

Laurent Catach · Journal of Automated Reasoning · 1991 · 75 citations

Computing, Computer Science, Formal Methods +10

A simple deduction method for modal logic

Luís Fariñas del Cerro · Information Processing Letters · 1982 · 33 citations

Humanities, Computer Science, Mathematics +7

Resolution for some first-order modal systems

Marta Cialdea Mayer · Theoretical Computer Science · 1991 · 11 citations

Humanities, Mathematics, Dynamical Systems +8