Belief, knowledge, lies and other utterances in an algebra for space and extrusion
From MaRDI portal
(Redirected from Publication:347368)
Recommendations
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
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)