This article provides formal accounts of dishonest attitudes of agents. We introduce a
propositional multi-modal logic that can represent an agent's belief and intention as well as …

This study focuses on the question:“What are the computational formalisms at the heart of
deceptive and counter-deceptive machines?” We formulate deception using a dynamic …

Deception is an act whereby one person causes another person to have a false belief. This
paper formulates deception using causal relations between a speaker's utterance and a …

▪ Deception is an act whereby one person causes another person to have a false belief.▪ In
spite of its commonality in human society, little study has been devoted to developing a …

Humans and machines interact more frequently than ever and our societies are becoming
increasingly hybrid. A consequence of this hybridisation is the degradation of societal trust …

Weak Heyting algebras (Celani and Jansana, 2005, Math. Log. Quart., 51, 219–246)
encompass subvarieties of the variety of Heyting algebras and subvarieties of the variety of …

In distributed systems in which autonomous entities exchange information with each other,
these entities have the freedom to provide incorrect information. This becomes especially …