Invariance Properties of Quantifiers and Multiagent Information Exchange
DOI10.1007/978-3-642-23211-4_5zbMATH Open1348.68258OpenAlexW1602190341MaRDI QIDQ3172828FDOQ3172828
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
epistemic logicgeneralized quantifiersinvariance propertiesnumber triangleMuddy Children PuzzleTop Hat Puzzle
Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)
Cites Work
- Essays in logical semantics
- Language identification in the limit
- Finding patterns common to a set of strings
- Generalized quantifiers and natural language
- Dynamic epistemic logic
- On a generalization of quantifiers
- Title not available (Why is that?)
- Title not available (Why is that?)
- Invariance Properties of Quantifiers and Multiagent Information Exchange
- Questions about quantifiers
- Finite identification from the viewpoint of epistemic update
- The Problem of Learning the Semantics of Quantifiers
- Identification through Inductive Verification
- On the expressive power of monotone natural language quantifiers over finite models
Cited In (7)
- Logic and Complexity in Cognitive Science
- Invariance Properties of Quantifiers and Multiagent Information Exchange
- Title not available (Why is that?)
- Exploring the tractability border in epistemic tasks
- Interactive semantic alignment model: social influence and local transmission bottleneck
- Parameterized complexity of theory of mind reasoning in dynamic epistemic logic
- Equality of agent expressions is preserved under an extension of the universe of actions
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 π π
- Title not available (Why is that?) π π
- A fully abstract model for the exchange of information in multi-agent systems. π π
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)