- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Generalized Arrow Update Logic
Abstract
Barteld Kooi and Bryan Renne (2011). Generalized Arrow Update Logic. In K.R. Apt (editor). Theoretical Aspects of Rationality and Knowledge, Proceedings of the Thirteenth Conference (TARK 2011), pp. 205-211Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Only published works are available at libraries.
My notes
Similar books and articles
Reasoning about local properties in modal logic.Wiebe van der Hoek, Hans van Ditmarsch & Barteld Kooi - unknown
Succinctness of Epistemic Languages.Barteld Kooi, Wiebe van der Hoek, Petar Iliev & Tim French - unknown
An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability.Hans van Ditmarsch, Louwe Kuijer & Mo Liu - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang, Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 63-76.
Casper J. Albers, Barteld P. Kooi and Willem schaafsma/trying to resolve the two-envelope problem Edwin H.-c. Hung/projective explanation: How theories explain empirical data in spite of theory. [REVIEW]Fc Boogerd, Fj Bruggeman & Rc Richardson - 2005 - Synthese 145 (1):499-500.
Arbitrary arrow update logic.Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi & Louwe B. Kuijer - 2017 - Artificial Intelligence 242 (C):80-106.
Generalized Inquisitive Logic: Completeness via Intuitionistic Kripke Models.Ivano Ciardelli & Floris Roelofsen - 2001 - In Johan van Benthem, Theoretical aspects of rationality and knowledge.
Fifth Conference on Theoretical Aspects of Reasoning about Knowledge (TARK V).Ronald Fagin - 1993 - Journal of Logic, Language, and Information 2 (338).
Conservative translations of four-valued logics in modal logic.Ekaterina Kubyshkina - 2019 - Synthese 198 (S22):5555-5571.
Analytics
Added to PP
2013-04-05
Downloads
35 (#678,037)
6 months
3 (#1,061,821)
2013-04-05
Downloads
35 (#678,037)
6 months
3 (#1,061,821)
Historical graph of downloads
Author's Profile
Citations of this work
Game description language and dynamic epistemic logic compared.Thorsten Engesser, Robert Mattmüller, Bernhard Nebel & Michael Thielscher - 2021 - Artificial Intelligence 292 (C):103433.
Rethinking epistemic logic with belief bases.Emiliano Lorini - 2020 - Artificial Intelligence 282 (C):103233.
Relation-changing modal operators: Fig. 1.Carlos Areces, Raul Fervari & Guillaume Hoffmann - 2015 - Logic Journal of the IGPL 23 (4):601-627.
General Dynamic Dynamic Logic.Patrick Girard, Jeremy Seligman & Fenrong Liu - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss, Advances in Modal Logic 9. London, England: College Publications. pp. 239-260.
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic.Dominik Klein & Rasmus K. Rendsvig - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada, Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 108-122.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-99fc7d78b-dwqgq uwo