Dynamic Testimonial Logic

  title={Dynamic Testimonial Logic},
  author={W. Holliday},
We introduce a dynamic testimonial logic (DTL) to model belief change over sequences of multi-agent testimony. Our static base logic is Baltag and Smets' [1] conditional doxastic logic (CDL). Our dynamic base logic is van Benthem's [12] dynamic logic of belief upgrade, which we extend with a "belief suspension" operator. After showing how to extract from CDL models agents' beliefs about the doxastic reliability of other agents, we add "authority graphs" to DTL models to capture agents… 

Logical Dynamics of Information and Interaction

A new view of logic as a theory of information-driven agency and intelligent interaction between many agents is developed, unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory.

Logical Dynamics of Information and Interaction: Contents

This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents – with conversation, argumentation, and games as guiding examples – and develops a mathematical theory unifying all these systems.

A modal type theory for formalizing trusted communications

Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings

This work formalizes and verify in the proof assistant Coq, the bisimulation theorems for a particular family of dynamic logics that can change the accessibility relation of a model.

Dynamic logics of networks: Information flow and the spread of opinion

Overall, this thesis applies tools from current logics of information update and agency to social network analysis and opinion flow over time, offering both tools for detailed modeling of specific scenarios and a better understanding of the general laws of reasoning that underlie information and diffusion dynamics in social settings.

Intermezzo: A Quantitative Approach

The notion of preference arises from comparisons of alternatives and there are two ways to go: represent preference in terms of qualitative binary relations, or introduce a utility or evaluation function which will assign values to the alternatives being compared.

Collective Opinion as Tendency Towards Consensus

This paper focuses on group attitudes as neutral tendencies toward alignment of opinions driven by influence patterns among agents modeled in a Markov dynamics and investigates logical patterns in the resulting potential group beliefs or, in more neutral arational terminology: collective opinion structures.

A Closeness- and Priority-Based Logical Study of Social Network Creation

The paper studies the properties of the social networks the updates create, providing sound and complete axiom systems for formal languages describing these updates’ effects.

A Logical Analysis of the Interplay Between Social Influence and Friendship Selection

The text provides a logical analysis of the two forms of dynamics: social influence and friendship selection (the main ingredients in the phenomenon known as homophily) as well as of their interaction, discussing also some of their variations.



Dynamic logic for belief revision

  • J. Benthem
  • Philosophy
    J. Appl. Non Class. Logics
  • 2007
This work shows how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added, and obtains complete logics for concrete mechanisms of belief revision based on compositional reduction axioms.

Dynamic interactive epistemology

Belief, information acquisition, and trust in multi-agent systems--A modal logic formulation

  • C. Liau
  • Computer Science
    Artif. Intell.
  • 2003

What is Testimony

C.A.J. Coady, in his book Testimony: A Philosophical Study (Oxford: Clarendon Press, 1992), offers conditions on an assertion that p to count as testimony. He claims that the assertion that p must be

Prolegomena for a Logic of Trust and Reputation

The aim of this paper is to provide a qualitative formal analysis of trust and reputation on the basis of cognitive primitives and is strongly inspired by Castelfranchi and Falcone’s model of social trust.

Reasoning About Trust: A Formal Logical Framework

Formal definitions of different kinds of trust are given in the framework of modal logic and a logic for deriving consequences from a set of assumptions about trust is defined.

Problems with Electoral Evaluations of Expert Opinions*

  • R. Sorensen
  • Computer Science
    The British Journal for the Philosophy of Science
  • 1984
An electoral evaluation of a set of expert opinions proceeds by treating the experts as voters. Although this method allows us to formalise our naive views about how to take expert advice, the

Trust and Deception in Virtual Societies

This work states that trust and Deception are essential for Virtual Societies and proposes a proposal for a modal logical framework for the analysis of Trust in Durable Two Party Relations.

To trust information sources: a proposal for a modal logical framework

The meaning of trust is understood as an attitude of an agent who believes that another agent has a given property.

Trust and Commitment in Dynamic Logic

A dynamic logic is introduced in which violations of stronger commitments result in a higher loss of trustworthiness than violations of weaker ones.