Quantificational modal logic with sequential Kripke semantics

DOI10.3166/JANCL.15.137-188MaRDI QIDQ3647226zbMATH OpenOpenAlexFDO

Authors Stefano Borgo

Publication date 30 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.15.137-188

zbMATH Keywords

dynamic logicHenkin quantifiersmodal logicmultiagent systemsquantificational modality

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 5734940
• scientific article; zbMATH DE number 1267265
• Generalized quantifiers and modal logic
• A Systematic Presentation of Quantified Modal Logics
• Changing Modalities

Cites work

• A course in game theory.
• A Modal Logic for Coalitional Power in Games
• Combinations of modal logics
• Communication in concurrent dynamic logic
• Concurrent dynamic logic
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• Intention is choice with commitment
• Many-dimensional modal logics: theory and applications
• Towards a Logic of Rational Agency

Cited in

(3)

• A quantitative analysis of modal logic
• scientific article; zbMATH DE number 1759383 (Why is no real title available?)
• Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality

This page was built for publication: Quantificational modal logic with sequential Kripke semantics

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