Dynamic Testimonial Logic

@inproceedings{Holliday2009DynamicTL,
  title={Dynamic Testimonial Logic},
  author={W. Holliday},
  booktitle={LORI},
  year={2009}
}
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

TLDR
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

TLDR
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

TLDR
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

TLDR
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

TLDR
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

TLDR
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

TLDR
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

TLDR
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.

References

SHOWING 1-10 OF 15 REFERENCES

Dynamic logic for belief revision

  • J. Benthem
  • Philosophy
    J. Appl. Non Class. Logics
  • 2007
TLDR
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 Epistemic Logic

TLDR
This book provides various logics to support formal specifications of multi-agent systems, including proof systems, and discusses various results on the expressive power of the logics presented.

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

TLDR
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

TLDR
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

TLDR
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.

Trust and Commitment in Dynamic Logic

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