Theory and Applications of Relational Structures as Knowledge Instruments

DOI10.1007/b94817zbMath1203.03020OpenAlexW4230228281MaRDI QIDQ5902049

Ullrich Hustadt, Renate A. Schmidt

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Related Items (3)

Resolution with order and selection for hybrid logics ⋮ First-Order Resolution Methods for Modal Logics ⋮ A new methodology for developing deduction methods

Uses Software

• E Theorem Prover

This page was built for publication: Theory and Applications of Relational Structures as Knowledge Instruments