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

DOI10.1016/J.JLAMP.2016.09.001MaRDI QIDQ347368zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 1696814 (Why is no real title available?)
• scientific article; zbMATH DE number 1337862 (Why is no real title available?)
• scientific article; zbMATH DE number 732978 (Why is no real title available?)
• scientific article; zbMATH DE number 1927564 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 2172791 (Why is no real title available?)
• scientific article; zbMATH DE number 949397 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 794260 (Why is no real title available?)
• A Logical Account of Lying
• A logic with reverse modalities for history-preserving bisimulations
• A secure non-monotonic soft concurrent constraint language
• A spatial logic for concurrency. I
• An algebraic perspective of constraint logic programming
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Continuous Lattices and Domains
• Counterfactuals and updates as inverse modalities
• DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
• Declarative Diagnosis of Temporal Concurrent Constraint Programs
• Deriving labels and bisimilarity for concurrent constraint programming
• Dynamic spaces in concurrent constraint programming
• Dynamics of lying
• 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
• Logic Programming
• Nondeterminism and infinite computations in constraint programming
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Spatial and epistemic modalities in constraint-based process calculi
• The algebra of topology

Cited in

(9)

• A family of graded epistemic logics
• Reasoning about distributed information with infinitely many agents
• Counting and Computing Join-Endomorphisms in Lattices
• scientific article; zbMATH DE number 7449993 (Why is no real title available?)
• A Formal Model for Polarization under Confirmation Bias in Social Networks
• Spatial and epistemic modalities in constraint-based process calculi
• scientific article; zbMATH DE number 7649937 (Why is no real title available?)
• scientific article; zbMATH DE number 7121950 (Why is no real title available?)
• Characterizing right inverses for spatial constraint systems with applications to modal logic

Describes a project that uses

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)