QMML: Quantified Minimal Modal Logic and Its Applications

DOI10.1093/jigpal/11.5.557zbMath1054.03017OpenAlexW2102405627MaRDI QIDQ4812255

Audun Stolpe

Publication date: 7 September 2004

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

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

zbMATH Keywords

minimal modelsquantified modal logicneighborhood semanticsfirst-order quantificationBarcan formulaspermutation principles

Mathematics Subject Classification ID

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

Related Items (5)

On an alternative approach to stress constraints relaxation in topology optimization ⋮ On the validity of using small positive lower bounds on design variables in discrete topology optimization ⋮ Quantification in some non-normal modal logics ⋮ On the convergence of stationary sequences in topology optimization ⋮ Using the sequential linear integer programming method as a post-processor for stress-constrained topology optimization problems

This page was built for publication: QMML: Quantified Minimal Modal Logic and Its Applications