Back to Results
First PageMeta Content
Philosophical logic / Logic programming / Propositional calculus / Metalogic / Model theory / Epistemic modal logic / Modal logic / Interpretation / Function / Logic / Mathematical logic / Mathematics


Propositional Dynamic Logic as a Logic of Belief Revision Jan van Eijck and Yanjing Wang Center for Mathematics and Computer Science (CWI) Kruislaan[removed]SJ Amsterdam, The Netherlands {jve,y.wang}@cwi.nl
Add to Reading List

Document Date: 2010-11-17 10:31:51

Open Document

File Size: 191,84 KB

Share Result on Facebook

City

Amsterdam / Berlin / New York / /

Company

Bayer / Amsterdam University Press / /

/

Event

Person Communication and Meetings / /

Facility

Synthese Library / /

IndustryTerm

style update product / action product / database operating systems / /

Organization

Yanjing Wang Center for Mathematics and Computer Science / Computer Science / Dutch Organisation for Scientic Research / /

Person

Carol / M. Wooldridge / Jan van Eijck / Johan van Benthem / Dov Gabbay / B. Kooi / Bob / W. van der Hoek / H.P. van Ditmarsch / Dynamic Logic / Alice / Barteld Kooi / Hans van Ditmarsch / Morgan Kaufmann / /

Position

editor / second author / /

ProvinceOrState

Pennsylvania / /

PublishedMedium

Theoretical Computer Science / Electronic Notes in Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

operating systems / /

SocialTag