Clausal Resolution for Modal Logics of Confluence
From MaRDI portal
Publication:3192202
DOI10.1007/978-3-319-08587-6_24zbMath1425.03008arXiv1405.0293OpenAlexW2095984791MaRDI 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
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Combined logics (03B62)