A Way of Making World Quantification Explicit

DOI10.1093/JIGPAL/12.3.199MaRDI QIDQ4823802zbMATH OpenOpenAlexFDO

Authors Stefano Baratella, Andrea Masini

Publication date 28 October 2004

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/12.3.199

zbMATH Keywords

completenessdecidabilitymodal logicintensional quantification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Generalized quantifiers and modal logic
• First-order intensional logic
• Quantified modal logic
• Intensional models for the theory of types
• Actuality and quantification

This page was built for publication: A Way of Making World Quantification Explicit

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4823802)