scientific article; zbMATH DE number 2024633

zbMath1036.03015MaRDI QIDQ4443210

Motohiko Mouri

Publication date: 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decision proceduremodal logic K4counter-modelsproof-search procedure

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items

Efficient loop-check for KD45 logic ⋮ PSPACE complexity of modal logic KD45\(_{n}\)

This page was built for publication: