Reasoning about distributed information with infinitely many agents

DOI10.1016/j.jlamp.2021.100674OpenAlexW3138749062MaRDI QIDQ2043805

Santiago Quintero, Sergio Ramírez, Sophia Knight, Camilo Rueda, Michell Guzman, Frank D. Valencia

Publication date: 3 August 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100674

zbMATH Keywords

mathematical morphologydistributed knowledgeinfinitely many agentsalgebraic modelingreasoning about groupsreasoning about space

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (2)

Counting and Computing Join-Endomorphisms in Lattices ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning about common knowledge with infinitely many agents
• Nondeterminism and infinite computations in constraint programming
• Why mathematical morphology needs complete lattices
• Agreeing to disagree
• On validity in modelization of musical problems by CCP
• Core convergence with asymmetric information
• Characterizing right inverses for spatial constraint systems with applications to modal logic
• The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday
• Announcement as effort on topological spaces
• Aggregation of scale efficiency
• The algebra of topology
• Epistemic Updates on Algebras
• Spatial and Epistemic Modalities in Constraint-Based Process Calculi
• Categorical Proof Theory of Co-Intuitionistic Linear Logic
• A proof-theoretic semantic analysis of dynamic epistemic logic
• Deriving Labels and Bisimilarity for Concurrent Constraint Programming
• Deriving Inverse Operators for Modal Logic
• The representations of S5
• On the Lattice of All Join-Endomorphisms of a Lattice
• Knowledge and common knowledge in a distributed environment
• Handbook of Spatial Logics
• Introduction to mathematical morphology
• On the Measurement of Polarization
• Algebraic polymodal logic: a survey
• Modeling infinitely many agents
• Continuous Lattices and Domains
• Counting and Computing Join-Endomorphisms in Lattices
• A Limit Theorem on the Core of an Economy
• Boolean Algebras with Operators. Part I

This page was built for publication: Reasoning about distributed information with infinitely many agents