Clausal Resolution for Modal Logics of Confluence
From MaRDI portal
Publication:3192202
DOI10.1007/978-3-319-08587-6_24zbMath1425.03008arXiv1405.0293MaRDI QIDQ3192202
João Marcos, Cláudia Nalon, Clare Dixon
Publication date: 26 September 2014
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1405.0293
03B45: Modal logic (including the logic of norms)
03B35: Mechanization of proofs and logical operations
03B62: Combined logics