A set-theoretic translation method for (poly)modal logics

DOI10.1007/3-540-59042-0_75zbMath1379.03004OpenAlexW1523420142MaRDI QIDQ4596623

Alberto Policriti, Giovanna D'Agostino, Angelo Montanari

Publication date: 4 December 2017

Published in: STACS 95 (Search for Journal in Brave)

Full work available at URL: http://dare.uva.nl/personal/pure/en/publications/a-settheoretic-translation-method-for-polymodal-logics(bdef9c7d-9ca6-4f99-8542-3071973cc10a).html

Mathematics Subject Classification ID

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

Related Items (1)

Completeness results for two-sorted metric temporal logics

This page was built for publication: A set-theoretic translation method for (poly)modal logics