QMML: Quantified Minimal Modal Logic and Its Applications

DOI10.1093/JIGPAL/11.5.557MaRDI QIDQ4812255zbMATH OpenOpenAlexFDO

Authors Audun Stolpe

Publication date 7 September 2004

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

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

zbMATH Keywords

Barcan formulasfirst-order quantificationminimal modelsneighborhood semanticspermutation principlesquantified modal logic

Mathematics Subject Classification ID

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

Recommendations

• Quantified modal logic
• Quantification in some non-normal modal logics
• QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
• scientific article; zbMATH DE number 698631
• A Systematic Presentation of Quantified Modal Logics

Cited in

(8)

• Quantification in some non-normal modal logics
• Counterpart semantics at work: independence and incompleteness results in quantified modal logic
• Quantified modal logic
• Using the sequential linear integer programming method as a post-processor for stress-constrained topology optimization problems
• 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
• scientific article; zbMATH DE number 910433 (Why is no real title available?)
• On the convergence of stationary sequences in topology optimization

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

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