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


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








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
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)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
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section