First-Order Resolution Methods for Modal Logics
From MaRDI portal
Publication:4916086
DOI10.1007/978-3-642-37651-1_15zbMath1383.03031MaRDI QIDQ4916086
Renate A. Schmidt, Ullrich Hustadt
Publication date: 19 April 2013
Published in: Programming Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-37651-1_15
03B45: Modal logic (including the logic of norms)
03B35: Mechanization of proofs and logical operations
Uses Software