scientific article; zbMATH DE number 7649937

DOI10.4230/LIPICS.CONCUR.2019.29MaRDI QIDQ5875391

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

Publication date: 3 February 2023

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

distributed knowledgeinfinitely many agentsalgebraic modelingreasoning about groupsreasoning about space

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

A Formal Model for Polarization under Confirmation Bias in Social Networks ⋮ Reasoning about distributed information with infinitely many agents

Cites Work

• Unnamed Item
• Unnamed Item
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• Reasoning about common knowledge with infinitely many agents
• Nondeterminism and infinite computations in constraint programming
• On validity in modelization of musical problems by CCP
• Characterizing right inverses for spatial constraint systems with applications to modal logic
• Spatial and Epistemic Modalities in Constraint-Based Process Calculi
• Deriving Inverse Operators for Modal Logic
• Knowledge and common knowledge in a distributed environment
• On the Measurement of Polarization
• Continuous Lattices and Domains

This page was built for publication: