Belief, knowledge, lies and other utterances in an algebra for space and extrusion

DOI10.1016/J.JLAMP.2016.09.001zbMATH Open1353.68203OpenAlexW2401944033WikidataQ114851581 ScholiaQ114851581MaRDI QIDQ347368FDOQ347368

Authors: Michell Guzman, Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia 

Publication date: 30 November 2016

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.2016.09.001

Recommendations

• Spatial and epistemic modalities in constraint-based process calculi
• On the expressiveness of spatial constraint systems
• Reasoning about distributed information with infinitely many agents
• Propagating belief functions through constraint systems
• Dynamic spaces in concurrent constraint programming

zbMATH Keywords

mobilityepistemic logicmodal logicalgebraic structuresconcurrency theorylies

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Dynamics of lying
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Counterfactuals and updates as inverse modalities
• Linear concurrent constraint programming: Operational and phase semantics
• Title not available (Why is that?)
• Dynamic spaces in concurrent constraint programming
• Spatial and Epistemic Modalities in Constraint-Based Process Calculi
• Title not available (Why is that?)
• Logic Programming
• The algebra of topology
• DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
• Foundations of software science and computation structures. 1st international conference, FoSSaCS '98. Held as part of the joint European conferences on Theory and practice of software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings
• A spatial logic for concurrency. I
• An algebraic perspective of constraint logic programming
• Deriving labels and bisimilarity for concurrent constraint programming
• Declarative Diagnosis of Temporal Concurrent Constraint Programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Logical Account of Lying
• A Secure Non-monotonic Soft Concurrent Constraint Language
• Nondeterminism and infinite computations in constraint programming

Cited In (8)

• Counting and Computing Join-Endomorphisms in Lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• A family of graded epistemic logics
• Slicing concurrent constraint programs
• Characterizing right inverses for spatial constraint systems with applications to modal logic
• A Formal Model for Polarization under Confirmation Bias in Social Networks
• Title not available (Why is that?)

Uses Software

• SLMC
• CC-Pi

This page was built for publication: Belief, knowledge, lies and other utterances in an algebra for space and extrusion

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