scientific article

zbMath0968.03022MaRDI QIDQ2701979

Matteo Baldoni

Publication date: 12 March 2001

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

zbMATH Keywords

counter-model constructionnormal multimodal logicsprefixed analytic tableau calculus

Mathematics Subject Classification ID

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

Related Items

Multimodal logic programming ⋮ Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs