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 |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Jonathan Alexander Zvesper / rank | |||
Property / author | |||
Property / author: Jonathan Alexander Zvesper / rank | |||
Normal rank | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11229-010-9779-2 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2167685886 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the logic of theory change: Partial meet contraction and revision functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4599515 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Agreeing to disagree / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Backward induction and common knowledge of rationality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logics for epistemic programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4648827 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Logic of Public Announcements, Common Knowledge, and Private Suspicions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Keep `hoping' for rationality: a solution to the backward induction paradox / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2744124 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic interactive epistemology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The power of paradox: some recent developments in interactive epistemology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Clues to the paradoxes of knowability: reply to Dummett and Tennant / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Can Doxastic Agents Learn? On the Temporal Structure of Learning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Agreement Theorems in Dynamic-Epistemic Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4845472 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A logical analysis of some value concepts / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reasoning about information change / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two modellings for theory change / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Substantive rationality and backward induction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Knowledge and necessity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3576736 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hypothetical knowledge and games with perfect information / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Bayesian foundations of solution concepts of games / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logics of communication and change / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3122692 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5494230 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: What one may come to know / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic logic for belief revision / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:08, 4 July 2024
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