Publications: Part of a Book - Schmidt,Tishkovsky Combining Dynamic Logic and Doxastic Modal Logics

Part, Chapter of a Book
@InBook, Buchkapitel
Beitrag im Sammelband

Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

Options:

Goto entry point

Author, Editor

Author(s):

Schmidt, Renate A.
Tishkovsky, Dmitry

dblp
dblp

Editor(s):

Balbiani, Philippe
Suzuki, Nobu-Yuki
Wolter, Frank
Zakharyaschev, Michael

dblp
dblp
dblp
dblp

Not MPII Editor(s):

Balbiani, Philippe
Suzuki, Nobu-Yuki
Wolter, Frank
Zakharyaschev, Michael

BibTeX cite key*:

SchmidtTishkovsky03a

Title, Booktitle

Title*:	Combining Dynamic Logic and Doxastic Modal Logics
Booktitle*:	Advances in Modal Logic
Chapter:	18
Series:
Language:	English

Publisher

Name*:	King's College London Publications	URL:
Address*:	London, UK	Publication Type:

Vol, No, pp., Year

Volume:	4	Number:
Edition:		Pages*:	371-391
Month:		VG Wort Pages:
ISBN:		Year*:	2003

Abstract, Links, ©

Note:
LaTeX Abstract:	We prove completeness and decidability for a family of combinations of propositional dynamic logic and unimodal doxastic logics in which the modalities may interact. The kind of interactions we consider include two forms of commuting axioms, namely, an axiom similar to the axiom of perfect recall from temporal logic and a Church-Rosser axiom. We investigate the influence of the substitution rule on the properties of these logics and propose a new semantics for the test operator to avoid unwanted side effects caused by the interaction of the classic test operator with the extra axioms.
URL Abstract:
Tags, Keywords:	Agent systems, Modal logic, deductive systems
Copyright Message:
HyperLinks / References / URLs:
Personal Comments:
Download Access Level:	Public

Correlation

MPG Unit:	Max-Planck-Institut für Informatik

MPG Subunit:	Programming Logics Group
Audience:	popular
Appearance:

BibTeX Entry:

@INBOOK{SchmidtTishkovsky03a,
AUTHOR = {Schmidt, Renate A. and Tishkovsky, Dmitry},
EDITOR = {Balbiani, Philippe and Suzuki, Nobu-Yuki and Wolter, Frank and Zakharyaschev, Michael},
TITLE = {Combining Dynamic Logic and Doxastic Modal Logics},
BOOKTITLE = {Advances in Modal Logic},
PUBLISHER = {King's College London Publications},
YEAR = {2003},
VOLUME = {4},
CHAPTER = {18},
PAGES = {371--391},
ADDRESS = {London, UK},
}

Entry last modified by Uwe Waldmann, 03/12/2010

Edit History (please click the blue arrow to see the details)

	Editor(s) Renate A. Schmidt	Created 02/04/2003 03:28:11 PM
Revisions 9. 8. 7. 6. 5.	Editor(s) Uwe Waldmann Christine Kiesel Christine Kiesel Christine Kiesel Christine Kiesel	Edit Dates 04/14/2005 03:53:57 AM 21.06.2004 13:40:03 17.06.2004 17:44:41 17.06.2004 17:31:56 17.06.2004 17:31:40

Attachment Section