Game semantics, quantifiers and logical omniscience

DOI10.12775/LLP.2022.021MaRDI QIDQ6485796zbMATH OpenFDO

Authors Bruno Mendonça

Publication date 20 December 2022

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/LLP.2022.021

zbMATH Keywords

existential importgame-theoretic semanticslogical omnisciencequantifiersurn semantics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Dynamic Epistemic Logic and Logical Omniscience
• The fundamental problem of logical omniscience
• scientific article; zbMATH DE number 3882406
• Epistemic logic and logical omniscience: A survey
• Logical Omniscience Via Proof Complexity

Cited in

(5)

• Generalized quantifiers and pebble games on finite structures
• scientific article; zbMATH DE number 6694177 (Why is no real title available?)
• Knowledge and Games in Modal Semirings
• scientific article; zbMATH DE number 6787702 (Why is no real title available?)
• Logic and games on automatic structures. Playing with quantifiers and decompositions

This page was built for publication: Game semantics, quantifiers and logical omniscience

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