Predicate Modal Logics Do Not Mix Very Well

DOI10.1002/MALQ.19980440103zbMath0890.03008OpenAlexW2019813941MaRDI QIDQ4379626

Olivier Gasquet

Publication date: 24 June 1998

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19980440103

zbMATH Keywords

modal logicmultimodal logicBarcan formulaincompleteness proofbi-modal predicate logicBrouwerian axiom

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categoricity and completeness of theories (03C35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Predicate Modal Logics Do Not Mix Very Well