Found 12 Documents (Results 1–12)
Opaque updates. (English) Zbl 1535.03078
MSC:
03B42
Logic and topology for knowledge, knowability, and belief. (English) Zbl 1473.03010
Reviewer: Éric Martin (Sydney)
MSC:
03B42
Logic and topology for knowledge, knowability, and belief. Extended abstract. (English) Zbl 1484.03023
Lang, Jérôme (ed.), Proceedings of the sixteenth conference on theoretical aspects of rationality and knowledge, TARK 2017, Liverpool, UK, July 24–26, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 251, 88-101 (2017).
MSC:
03B42
A qualitative theory of dynamic interactive belief revision. (English) Zbl 1384.03099
Arló-Costa, Horacio (ed.) et al., Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). Springer Graduate Texts in Philosophy 1, 813-858 (2016).
MSC:
03B42
Justified belief and the topology of evidence. (English) Zbl 1478.03022
Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 83-103 (2016).
On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes. (English) Zbl 1286.03047
A dynamic logic of knowledge, graded beliefs and graded goals and its application to emotion modelling. (English) Zbl 1298.03053
van Ditmarsch, Hans (ed.) et al., Logic, rationality, and interaction. Third international workshop, LORI 2011, Guangzhou, China, October 10–13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24129-1/pbk). Lecture Notes in Computer Science 6953. Lecture Notes in Artificial Intelligence, 165-178 (2011).
Shifting priorities: Simple representations for twenty-seven iterated theory change operators. (English) Zbl 1159.03012
Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 269-296 (2009).
Reviewer: David Makinson (London)
Filter Results by …
Document Type
- Journal Articles (7)
- Collection Articles (5)
all
top 5
Author
- Baltag, Alexandru (4)
- Özgün, Aybüke (4)
- Smets, Sonja J. L. (4)
- Bezhanishvili, Nick (2)
- Bjorndahl, Adam (2)
- Lorini, Emiliano (2)
- Mechtenberg, Lydia (1)
- Rad, Soroush Rafiee (1)
- Raidl, Eric (1)
- Rott, Hans (1)
- Skovgaard-Olsen, Niels (1)
Serial
- J. Philos. Log. (4)
- Synthese (1)
- Erkenntnis (1)
- Rev. Symb. Log. (1)