Theory and Applications of Relational Structures as Knowledge Instruments
From MaRDI portal
Publication:5902049
DOI10.1007/b94817zbMath1203.03020MaRDI QIDQ5902049
Renate A. Schmidt, Ullrich Hustadt
Publication date: 9 June 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b94817
03B45: Modal logic (including the logic of norms)
03B35: Mechanization of proofs and logical operations
Related Items
First-Order Resolution Methods for Modal Logics, A new methodology for developing deduction methods, Resolution with order and selection for hybrid logics
Uses Software