scientific article
From MaRDI portal
Publication:3509063
zbMath1148.03027MaRDI QIDQ3509063
Publication date: 1 July 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Logic programming (68N17)
Related Items (3)
Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic ⋮ A Tableau Calculus for Regular Grammar Logics with Converse ⋮ ExpTime tableau decision procedures for regular grammar logics with converse
This page was built for publication:
