A Way of Making World Quantification Explicit

DOI10.1093/JIGPAL/12.3.199zbMath1057.03014OpenAlexW1999072204MaRDI QIDQ4823802

Stefano Baratella, Andrea Masini

Publication date: 28 October 2004

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

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

zbMATH Keywords

modal logiccompletenessdecidabilityintensional 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