scientific article
From MaRDI portal
Publication:3838802
zbMath0901.03020MaRDI QIDQ3838802
Matteo Baldoni, Alberto Martelli, Laura Giordano
Publication date: 8 October 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilitydecidabilitymodal logicsformal grammarsnormal multimodal logicsprefixed analytic tableau calculusgrammar logics
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)
Related Items (6)
A Tableau Calculus for Regular Grammar Logics with Converse ⋮ Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs ⋮ ExpTime tableau decision procedures for regular grammar logics with converse ⋮ Deciding regular grammar logics with converse through first-order logic ⋮ Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation ⋮ Decidability of SHIQ with complex role inclusion axioms
This page was built for publication:
