Anti-prenexing and Prenexing for Modal Logics

DOI10.1007/11853886_28zbMath1152.03320OpenAlexW1858455260MaRDI QIDQ3533143

Cláudia Nalon, Clare Dixon

Publication date: 30 October 2008

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11853886_28

Mathematics Subject Classification ID

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

Related Items

A calculus for automatic verification of Petri nets based on resolution and dynamic logics ⋮ \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments ⋮ : A Resolution-Based Prover for Multimodal K