Invariance Properties of Quantifiers and Multiagent Information Exchange

DOI10.1007/978-3-642-23211-4_5MaRDI QIDQ3172828zbMATH OpenOpenAlexFDO

Authors Nina Gierasimczuk, Jakub Szymanik

Publication date 7 October 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-23211-4_5

zbMATH Keywords

epistemic logicgeneralized quantifiersinvariance propertiesnumber triangleMuddy Children PuzzleTop Hat Puzzle

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Reasoning about distributed information with infinitely many agents
• Reasoning about common knowledge with infinitely many agents
• Probabilistic Common Knowledge Among Infinite Number of Agents
• An information inequality for agency problems
• An Extension of LaSalle's Invariance Principle and Its Application to Multi-Agent Consensus
• Computational Logic in Multi-Agent Systems
• Inconsistency-tolerant multi-agent calculus
• Towards a Logic of Information Exchange
• Refinement quantified logics of knowledge and belief for multiple agents
• A fully abstract model for the exchange of information in multi-agent systems.

Cites work

• scientific article; zbMATH DE number 1233702 (Why is no real title available?)
• scientific article; zbMATH DE number 3080510 (Why is no real title available?)
• Dynamic epistemic logic
• Essays in logical semantics
• Finding patterns common to a set of strings
• Finite identification from the viewpoint of epistemic update
• Generalized quantifiers and natural language
• Identification through Inductive Verification
• Invariance Properties of Quantifiers and Multiagent Information Exchange
• Language identification in the limit
• On a generalization of quantifiers
• On the expressive power of monotone natural language quantifiers over finite models
• Questions about quantifiers
• The Problem of Learning the Semantics of Quantifiers

Cited in

(7)

• Invariance Properties of Quantifiers and Multiagent Information Exchange
• Logic and complexity in cognitive science
• Parameterized complexity results for a model of theory of mind based on dynamic epistemic logic
• Interactive semantic alignment model: social influence and local transmission bottleneck
• Parameterized complexity of theory of mind reasoning in dynamic epistemic logic
• Exploring the tractability border in epistemic tasks
• Equality of agent expressions is preserved under an extension of the universe of actions

This page was built for publication: Invariance Properties of Quantifiers and Multiagent Information Exchange

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