A Way of Making World Quantification Explicit

DOI10.1093/JIGPAL/12.3.199zbMATH Open1057.03014OpenAlexW1999072204MaRDI QIDQ4823802FDOQ4823802

Authors: Stefano Baratella, Andrea Masini Edit this on Wikidata

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

Recommendations

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

zbMATH Keywords

completenessdecidabilitymodal logicintensional quantification

Mathematics Subject Classification ID

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

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)