Alternative translation techniques for propositional and first-order modal logics

DOI10.1023/A:1015849504706zbMath1003.03018OpenAlexW1573293947MaRDI QIDQ1610677

Matteo Slanina, Alberto Policriti, Angelo Montanari

Publication date: 20 August 2002

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1015849504706

zbMATH Keywords

propositional modal logicsfirst-order languagesvalidity problemsweak set theoryautomatic translationfirst-order modal logics

Mathematics Subject Classification ID

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

Related Items (1)

Counterpart theories for everyone

This page was built for publication: Alternative translation techniques for propositional and first-order modal logics