Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth (Q542124): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
This survey presents a variety of newer modal logics, such as epistemic logic, dynamic epistemic logic, public announcement logic, doxastic-epistemic logic, all of which try to model more closely the way in which thinking takes place in a social environment (``Although in many cases we do reason in isolation, there is clearly a natural multiagent component to much of our actual reasoning. This takes two forms: we reason about other people, and also with other people.''). This is seen as having originated with Hintikka (1962). Currently, the main proponents of these logics are J. van Benthem, A. Baltag, L. Moss, and the authors. Several of the cited works are Ph.D. dissertations. Although devoted to Beth's centenary, there is no reference to any work of Beth within the paper. | |||
Property / review text: This survey presents a variety of newer modal logics, such as epistemic logic, dynamic epistemic logic, public announcement logic, doxastic-epistemic logic, all of which try to model more closely the way in which thinking takes place in a social environment (``Although in many cases we do reason in isolation, there is clearly a natural multiagent component to much of our actual reasoning. This takes two forms: we reason about other people, and also with other people.''). This is seen as having originated with Hintikka (1962). Currently, the main proponents of these logics are J. van Benthem, A. Baltag, L. Moss, and the authors. Several of the cited works are Ph.D. dissertations. Although devoted to Beth's centenary, there is no reference to any work of Beth within the paper. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Victor V. Pambuccian / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B42 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03-03 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 01A60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 01A65 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5905348 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
dynamic logic | |||
Property / zbMATH Keywords: dynamic logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
interaction | |||
Property / zbMATH Keywords: interaction / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
information update | |||
Property / zbMATH Keywords: information update / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
belief change | |||
Property / zbMATH Keywords: belief change / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
epistemology | |||
Property / zbMATH Keywords: epistemology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
game theory | |||
Property / zbMATH Keywords: game theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
survey paper | |||
Property / zbMATH Keywords: survey paper / rank | |||
Normal rank |
Revision as of 11:29, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth |
scientific article |
Statements
Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth (English)
0 references
8 June 2011
0 references
This survey presents a variety of newer modal logics, such as epistemic logic, dynamic epistemic logic, public announcement logic, doxastic-epistemic logic, all of which try to model more closely the way in which thinking takes place in a social environment (``Although in many cases we do reason in isolation, there is clearly a natural multiagent component to much of our actual reasoning. This takes two forms: we reason about other people, and also with other people.''). This is seen as having originated with Hintikka (1962). Currently, the main proponents of these logics are J. van Benthem, A. Baltag, L. Moss, and the authors. Several of the cited works are Ph.D. dissertations. Although devoted to Beth's centenary, there is no reference to any work of Beth within the paper.
0 references
dynamic logic
0 references
interaction
0 references
information update
0 references
belief change
0 references
epistemology
0 references
game theory
0 references
survey paper
0 references