scientific article; zbMATH DE number 5734940

MaRDI QIDQ3574465zbMATH OpenFDO

Authors Stefano Borgo

Publication date 9 July 2010

zbMATH Keywords

dynamic action logicHenkin quantifiers

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• scientific article; zbMATH DE number 795162
• scientific article; zbMATH DE number 1028834
• scientific article; zbMATH DE number 1852921
• Quantified modal logic
• scientific article; zbMATH DE number 5295712
• scientific article; zbMATH DE number 1389650
• Generalized quantifiers and modal logic
• Labelled modal logics: Quantifiers
• Modal ontology and generalized quantifiers
• Partial semantics for quantified modal logic

Cited in

(15)

• On a duality of quantales emerging from an operational resolution
• Minimal belief and negation as failure in multi-agent systems
• Comparing semantics of logics for multi-agent systems
• Modality, quantification, and many Vlach-operators
• Leśniewski-quantifiers and modal arguments in legal discourse
• Structural operational semantics and modal logic, revisited
• Modal Operators over Constructive Logic
• Quantificational modal logic with sequential Kripke semantics
• scientific article; zbMATH DE number 67510 (Why is no real title available?)
• On the Proper Treatment of Quantifiers in Montague Semantics
• scientific article; zbMATH DE number 638368 (Why is no real title available?)
• scientific article; zbMATH DE number 2076246 (Why is no real title available?)
• scientific article; zbMATH DE number 2090869 (Why is no real title available?)
• AI*IA 2005: Advances in Artificial Intelligence
• Formal similarities and differences among qualitative conditional semantics

This page was built for publication:

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