Local properties in modal logic

, &
Artificial Intelligence 187-188 (C):133-155 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2012.04.007

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reasoning about local properties in modal logic.Wiebe van der Hoek, Hans van Ditmarsch & Barteld Kooi - unknown
Semantic results for ontic and epistemic change. van Ditmarsch, Hans & Kooi, Barteld - unknown
Succinctness of Epistemic Languages.Barteld Kooi, Wiebe van der Hoek, Petar Iliev & Tim French - unknown
Review: H. van Ditmarsch, W. van der Hoek and B. Kooi’s Dynamic Epistemic Logic. [REVIEW]Patrick Girard - 2009 - Australasian Journal of Logic 7:26-31.
Wiebe van der Hoek Michael Wooldridge.Michael Wooldridge - 2003 - Studia Logica 75:125-157.
Decisions, Actions, and Games, a Logical Perspective.Johan van Benthem - unknown
Graded modalities in epistemic logic* W. Van der hoek.J. -J. Ch Meyer - 1991 - Logique Et Analyse 133:251.
Review: J.-J. Ch. Meyer, W. van Der Hoek, Epistemic Logic for AI and Computer Science. [REVIEW]Rineke Verbrugge - 1999 - Journal of Symbolic Logic 64 (4):1837-1840.
A general possible worlds framework for reasoning about knowledge and belief.Heinrich Wansing - 1990 - Studia Logica 49 (4):523 - 539.
Editors’ Review and Introduction: Lying in Logic, Language, and Cognition.Hans van Ditmarsch, Petra Hendriks & Rineke Verbrugge - 2020 - Topics in Cognitive Science 12 (2):466-484.

Analytics

Added to PP
2020-12-22

Downloads
11 (#1,147,580)

6 months
8 (#506,022)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Hans Van Ditmarsch
LORIA
Wiebe Van Der Hoek
University of Liverpool
Barteld Kooi
University of Groningen

Citations of this work

Add more citations

References found in this work

Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.
Intention is choice with commitment.Philip R. Cohen & Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):213-261.
Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.
Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
Axiomatising the Logic of Computer Programming.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (3):854-855.

View all 9 references / Add more references