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

DOI10.1016/j.jlamp.2016.09.001zbMath1353.68203OpenAlexW2401944033WikidataQ114851581 ScholiaQ114851581MaRDI QIDQ347368

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

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

zbMATH Keywords

modal logicepistemic logicmobilityliesalgebraic structuresconcurrency theory

Mathematics Subject Classification ID

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

Related Items (8)

A Formal Model for Polarization under Confirmation Bias in Social Networks ⋮ Slicing concurrent constraint programs ⋮ Unnamed Item ⋮ Counting and Computing Join-Endomorphisms in Lattices ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Characterizing right inverses for spatial constraint systems with applications to modal logic ⋮ A family of graded epistemic logics

Uses Software

• SLMC
• CC-Pi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic spaces in concurrent constraint programming
• Dynamics of lying
• Nondeterminism and infinite computations in constraint programming
• Counterfactuals and updates as inverse modalities
• 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
• Linear concurrent constraint programming: Operational and phase semantics
• A spatial logic for concurrency. I
• The algebra of topology
• An algebraic perspective of constraint logic programming
• Spatial and Epistemic Modalities in Constraint-Based Process Calculi
• Deriving Labels and Bisimilarity for Concurrent Constraint Programming
• Declarative Diagnosis of Temporal Concurrent Constraint Programs
• DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
• Continuous Lattices and Domains
• A Logical Account of Lying
• A Secure Non-monotonic Soft Concurrent Constraint Language
• Logic Programming
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

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