- An Investigation of the Laws of Thought.George Boole - 1854 - [New York]: Dover Publications.details
|
|
Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.details
|
|
Solving logic program conflict through strong and weak forgettings.Yan Zhang & Norman Y. Foo - 2006 - Artificial Intelligence 170 (8-9):739-778.details
|
|
Knowledge forgetting: Properties and applications.Yan Zhang & Yi Zhou - 2009 - Artificial Intelligence 173 (16-17):1525-1537.details
|
|
Modal logic.Yde Venema - 2000 - Philosophical Review 109 (2):286-289.details
|
|
Prolegomena to dynamic logic for belief revision.Hans P. Van Ditmarsch - 2005 - Synthese 147 (2):229-275.details
|
|
Merging frameworks for interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.details
|
|
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.details
|
|
A knowledge based semantics of messages.Rohit Parikh & Ramaswamy Ramanujam - 2003 - Journal of Logic, Language and Information 12 (4):453-467.details
|
|
Some comments on history based structures.Eric Pacuit - 2007 - Journal of Applied Logic 5 (4):613-624.details
|
|
Knowledge in Flux: Modeling the Dynamics of Epistemic States.Peter Menzies & Peter Gardenfors - 1994 - Philosophical Review 103 (1):159.details
|
|
Knowledge in Flux: Modeling the Dynamics of Episternic States by Peter Gärdenfors. [REVIEW]Isaac Levi - 1991 - Journal of Philosophy 88 (8):437-444.details
|
|
Dynamic Logic.David Harel, Dexter Kozen & Jerzy Tiuryn - 2000 - MIT Press.details
|
|
Knowledge in Flux. Modelling the Dymanics of Epistemic States.P. Gärdenfors - 1988 - MIT Press.details
|
|
Belief, awareness, and limited reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.details
|
|
Introspective forgetting.Hans Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis - 2009 - Synthese 169 (2):405-423.details
|
|
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.details
|
|
Knowledge updates: Semantics and complexity issues.Chitta Baral & Yan Zhang - 2005 - Artificial Intelligence 164 (1-2):209-243.details
|
|
On the logic of theory change: Partial meet contraction and revision functions.Carlos E. Alchourrón, Peter Gärdenfors & David Makinson - 1985 - Journal of Symbolic Logic 50 (2):510-530.details
|
|
Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: MIT Press.details
|
|
Merging Frameworks for Interaction.Johan van Benthem Jelle Gerbrandy - unknowndetails
|
|
Semantic results for ontic and epistemic change. van Ditmarsch, Hans & Kooi, Barteld - unknowndetails
|
|
Logics of Communication and Change. van Benthem, Johan, van Eijck, Jan & Kooi, Barteld - unknowndetails
|
|
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.details
|
|
Knowledge in Flux. Modeling the Dynamics of Epistemic States.Peter Gärdenfors - 1988 - Studia Logica 49 (3):421-424.details
|
|