scientific article; zbMATH DE number 1435945
From MaRDI portal
Publication:4947999
zbMath0942.03009MaRDI QIDQ4947999
Olivier Gasquet, Luis Fariñas del Cerro
Publication date: 23 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logictableauxdensityconfluencedirected acyclic graphsautomated deductiondecision proceduretransitive models
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
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations, EXPtime tableaux for ALC
