Logics of Rational Interaction

B.P. Kooi; E. Pacuit

doi:10.1007/978-94-007-0074-1_2

Logics of Rational Interaction

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

This paper provides an overview of temporal and dynamic epistemic logic, two important logical approaches to rational interaction. There are may approaches to rational interaction and a natural question is how the approaches under consideration are related. We will also discuss relations to other logics and applications.

Original language	English
Title of host publication	Dynamic Formal Epistemology
Editors	P. Girard, O. Roy, M. Marion
Place of Publication	Dordrecht
Publisher	Springer
Chapter	2
Pages	5-32
Number of pages	28
ISBN (Print)	978-94-007-0073-4
DOIs	https://doi.org/10.1007/978-94-007-0074-1_2
Publication status	Published - 2011
Event	International Workshop on Dynamic Logic Montreal - , Canada Duration: 19-Jun-2007 → 22-Jun-2007

Publication series

Name	Synthese Library
Publisher	SPRINGER
Volume	351
ISSN (Print)	0166-6991

Other

Other	International Workshop on Dynamic Logic Montreal
Country/Territory	Canada
Period	19/06/2007 → 22/06/2007

Keywords

UPDATE SEMANTICS
DYNAMIC-SYSTEMS
MODELING BELIEF
EPISTEMIC LOGIC
KNOWLEDGE
REVISION
POWER
TIME

Access to Document

10.1007/978-94-007-0074-1_2

Handle.net

Persistent link

Embargoed Document

Logics of Rational Interaction
Final publisher's version, 466 KB
Request copy

Cite this

@inproceedings{2cc21659012c42a387d76a37f84ff7f7,

title = "Logics of Rational Interaction",

abstract = "This paper provides an overview of temporal and dynamic epistemic logic, two important logical approaches to rational interaction. There are may approaches to rational interaction and a natural question is how the approaches under consideration are related. We will also discuss relations to other logics and applications.",

keywords = "UPDATE SEMANTICS, DYNAMIC-SYSTEMS, MODELING BELIEF, EPISTEMIC LOGIC, KNOWLEDGE, REVISION, POWER, TIME",

author = "B.P. Kooi and E. Pacuit",

year = "2011",

doi = "10.1007/978-94-007-0074-1_2",

language = "English",

isbn = "978-94-007-0073-4",

series = "Synthese Library",

publisher = "Springer",

pages = "5--32",

editor = "P. Girard and O. Roy and M. Marion",

booktitle = "Dynamic Formal Epistemology",

note = "International Workshop on Dynamic Logic Montreal ; Conference date: 19-06-2007 Through 22-06-2007",

}

TY - GEN

T1 - Logics of Rational Interaction

AU - Kooi, B.P.

AU - Pacuit, E.

PY - 2011

Y1 - 2011

N2 - This paper provides an overview of temporal and dynamic epistemic logic, two important logical approaches to rational interaction. There are may approaches to rational interaction and a natural question is how the approaches under consideration are related. We will also discuss relations to other logics and applications.

AB - This paper provides an overview of temporal and dynamic epistemic logic, two important logical approaches to rational interaction. There are may approaches to rational interaction and a natural question is how the approaches under consideration are related. We will also discuss relations to other logics and applications.

KW - UPDATE SEMANTICS

KW - DYNAMIC-SYSTEMS

KW - MODELING BELIEF

KW - EPISTEMIC LOGIC

KW - KNOWLEDGE

KW - REVISION

KW - POWER

KW - TIME

U2 - 10.1007/978-94-007-0074-1_2

DO - 10.1007/978-94-007-0074-1_2

M3 - Conference contribution

SN - 978-94-007-0073-4

T3 - Synthese Library

SP - 5

EP - 32

BT - Dynamic Formal Epistemology

A2 - Girard, P.

A2 - Roy, O.

A2 - Marion, M.

PB - Springer

CY - Dordrecht

T2 - International Workshop on Dynamic Logic Montreal

Y2 - 19 June 2007 through 22 June 2007

ER -

Logics of Rational Interaction

Abstract

Publication series

Other

Keywords

Access to Document

Handle.net

Embargoed Document

Fingerprint

Cite this