# Doxastic logic

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

2016

- Studia Logica
- 2016

Modelling, reasoning and verifying complex situations involving a system of agents is crucial in all phases of the development of… (More)

Is this relevant?

2008

2008

- 2008

We present a logic of conditional doxastic actions, obtained by incorporating ideas from belief revision theory into the usual… (More)

Is this relevant?

2008

2008

- Journal of Logic, Language and Information
- 2008

We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic… (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- Electr. Notes Theor. Comput. Sci.
- 2006

In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce… (More)

Is this relevant?

2006

2006

- Synthese
- 2006

We investigate the research programme of dynamic doxastic logic (DDL) and analyze its underlying methodology. The Ramsey test for… (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- Synthese
- 2005

In ‘belief revision’ a theory $${\cal K}$$ is revised with a formula φ resulting in a revised theory $${\cal K}\ast\varphi… (More)

Is this relevant?

2002

2002

- Advances in Modal Logic
- 2002

We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic… (More)

Is this relevant?

1999

1999

- 1999

Knowledge is in ux. To a very large extent, we all owe a better understanding of what this may mean to Peter Gardenfors. But not… (More)

Is this relevant?

1996

1996

- 1996

The modal logic KD45 is frequently presented as the standard account of the logic of belief for a single agent, where perhaps… (More)

Is this relevant?

1995

1995

- Logic Journal of the IGPL
- 1995

In 1985 Alchourron, Gardenfors and Makinson presented their now classic theory (AGM) of theory change (belief revision). In 1988… (More)

Is this relevant?