On the Logic of Lying

Ditmarsch, Hans van; Eijck, Jan van; Sietsma, Floor; Wang, Yanjing

doi:10.1007/978-3-642-29326-9_4

Cited by 26 publications

(34 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A lie is not necessarily a false statement but rather a statement that deviates from what its author actually knows, believes or holds to be true [29]. Instances of this concept can be realized in our setting by thinking of an (intentional) lie or hoax as the uttering/extrusion of a statement by an agent which is inconsistent with what he or she believes to be true.…”

Section: Derived Notions and Applicationsmentioning

confidence: 97%

See 1 more Smart Citation

An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic

Haar

Perchy

Rueda

et al. 2015

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming

View full text Add to dashboard Cite

We enrich spatial constraint systems with operators to specify information and processes moving from a space to another. We shall refer to these news structures as spatial constraint systems with extrusion. We shall investigate the properties of this new family of constraint systems and illustrate their applications. From a computational point of view the new operators provide for process/information extrusion, a central concept in formalisms for mobile communication. From an epistemic point of view extrusion corresponds to a notion we shall call utterance; a piece of information that an agent communicates to others but that may be inconsistent with the agent's beliefs. Utterances can then be used to express instances of epistemic notions, which are common place in social media, such as hoaxes or intentional lies. Spatial constraint systems with extrusion can be seen as complete Heyting algebras equipped with maps to account for spatial and epistemic specifications.

show abstract

Section: Derived Notions and Applicationsmentioning

confidence: 97%

“…Social phenomena such as lies, utterance, opinions have been recently studied in epistemic (doxastic) logic [26,28,29]. We follow [29] and regard lies as utterances by an agent that are inconsistent with their beliefs.…”

Section: Concluding Remarks and Related Workmentioning

confidence: 99%

An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic

Haar

Perchy

Rueda

et al. 2015

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming

View full text Add to dashboard Cite

show abstract

“…In van Ditmarsch et al (2012) the believed public announcement of ϕ is modelled as non-deterministic choice between such truthful and lying public announcement of ϕ, so that 'after truthful announcement of ϕ, ψ' corresponds to ϕ → [ϕ]ψ, and 'after lying announcement of ϕ, ψ' (after the lie that ϕ, ψ) corresponds to…”

Section: Definition 3 (Semantics) Assume An Epistemic Model M = (S Rmentioning

confidence: 99%

“…This is because on any epistemic model, the model restriction semantics and the arrow restriction semantics result in bisimilar models, on the part of the model wherein the announcement is true. Investigations of these correspondences are made in Kooi (2007) and van Ditmarsch et al (2012).…”

Section: Definition 3 (Semantics) Assume An Epistemic Model M = (S Rmentioning

confidence: 99%

True lies

2017

Self Cite

View full text Add to dashboard Cite

A true lie 1 is a lie that becomes true when announced. In a logic of announcements, where the announcing agent is not modelled, a true lie is a formula (that is false and) that becomes true when announced. We investigate true lies and other types of interaction between announced formulas, their preconditions and their postconditions, in the setting Gerbrandy's logic of believed announcements, wherein agents may have or obtain incorrect beliefs. Our results are on the satisfiability and validity of instantiations of these semantically defined categories, on iterated announcements, including arbitrarily often iterated announcements, and on syntactic characterization. We close with results for iterated announcements in the logic of knowledge (instead of belief), and for lying as private announcements (instead of public announcements) to different agents. Detailed examples illustrate our lying concepts.

show abstract

“…9 The logic KTB (also known as B or Br or Brouwer's system) has been propounded by Floridi as the logic of the notion of 'being informed'. One of the main differences between the logic of this notion and the standard logic of knowledge is the absence of introspection 8 (Sakama et al, 2010) and (van Ditmarsch et al, 2011) provide two independent logical accounts of the notion of lying and other kinds of deception using epistemic logic (resp. dynamic epistemic logic).…”

Section: Epistemic Principlesmentioning

confidence: 99%

Principles of Knowledge, Belief and Conditional Belief

Aucher

2014

Logic, Argumentation &Amp; Reasoning

View full text Add to dashboard Cite

International audienceWe review and examine in this paper the validity of the different axioms (and inference rules) of knowledge and belief and relating knowledge to belief which have been proposed in the epistemic !epistemic logic literature. In doing so, we encounter many of the problems that epistemic !epistemic logic has had to face in its relatively short (modern) history and provide relevant pointers for more details. We also contribute to this area by providing conditions under which the notion of belief can be formally defined in terms of knowledge , and vice versa. We also prove that certain convoluted axioms dealing only with the notion of knowledge can be derived from understandable interaction axioms relating knowledge and conditional belief

show abstract

On the Logic of Lying

Cited by 26 publications

References 10 publications

An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic

An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic

True lies

Principles of Knowledge, Belief and Conditional Belief

Contact Info

Product

Resources

About