van Ditmarsch, Hans; van der Hoek, Wiebe; Kooi, Barteld; Kuijer, Louwe B. Arrow update synthesis. (English) Zbl 1496.68326 Inf. Comput. 275, Article ID 104544, 29 p. (2020). MSC: 68T27 03B42 03B45 68Q42 PDFBibTeX XMLCite \textit{H. van Ditmarsch} et al., Inf. Comput. 275, Article ID 104544, 29 p. (2020; Zbl 1496.68326) Full Text: DOI arXiv HAL
Ågotnes, Thomas (ed.); Bonanno, Giacomo (ed.); van der Hoek, Wiebe (ed.) Introduction to the special issue. (English) Zbl 1444.00038 J. Log. Comput. 29, No. 7, 1011-1013 (2019). MSC: 00B25 03-06 03B42 03B45 68T27 PDFBibTeX XMLCite \textit{T. Ågotnes} (ed.) et al., J. Log. Comput. 29, No. 7, 1011--1013 (2019; Zbl 1444.00038) Full Text: DOI Link
van Ditmarsch, Hans; van der Hoek, Wiebe; Kooi, Barteld Playing cards with Hintikka: an introduction to dynamic epistemic logic. (English) Zbl 1437.03077 van Ditmarsch, Hans (ed.) et al., Jaakko Hintikka on knowledge and game-theoretical semantics. Dedicated to the memory of Jaakko Hintikka. Cham: Springer. Outst. Contrib. Log. 12, 237-262 (2018). MSC: 03B42 03B80 PDFBibTeX XMLCite \textit{H. van Ditmarsch} et al., Outst. Contrib. Log. 12, 237--262 (2018; Zbl 1437.03077) Full Text: DOI
Attamah, Maduka; van Ditmarsch, Hans; Grossi, Davide; van der Hoek, Wiebe The pleasure of gossip. (English) Zbl 1437.03056 Başkent, Can (ed.) et al., Rohit Parikh on logic, language and society. Cham: Springer. Outst. Contrib. Log. 11, 145-163 (2017). MSC: 03B42 03B45 03B70 03B80 68M12 91D30 PDFBibTeX XMLCite \textit{M. Attamah} et al., Outst. Contrib. Log. 11, 145--163 (2017; Zbl 1437.03056) Full Text: DOI
van Ditmarsch, Hans; van der Hoek, Wiebe; Kuijer, Louwe B. The undecidability of arbitrary arrow update logic. (English) Zbl 1385.03012 Theor. Comput. Sci. 693, 1-12 (2017). Reviewer: Branislav Boričić (Beograd) MSC: 03B42 03B45 03B25 PDFBibTeX XMLCite \textit{H. van Ditmarsch} et al., Theor. Comput. Sci. 693, 1--12 (2017; Zbl 1385.03012) Full Text: DOI arXiv
van Ditmarsch, Hans; van der Hoek, Wiebe; Kooi, Barteld; Kuijer, Louwe B. Arbitrary arrow update logic. (English) Zbl 1392.68396 Artif. Intell. 242, 80-106 (2017). MSC: 68T27 03B42 68T30 PDFBibTeX XMLCite \textit{H. van Ditmarsch} et al., Artif. Intell. 242, 80--106 (2017; Zbl 1392.68396) Full Text: DOI
van Ditmarsch, Hans; Fan, Jie; van der Hoek, Wiebe; Iliev, Petar Some exponential lower bounds on formula-size in modal logic. (English) Zbl 1385.03029 Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 139-157 (2014). MSC: 03B45 PDFBibTeX XMLCite \textit{H. van Ditmarsch} et al., in: Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5--8, 2014. London: College Publications. 139--157 (2014; Zbl 1385.03029)
Sack, Joshua; van der Hoek, Wiebe A modal logic for mixed strategies. (English) Zbl 1329.03059 Stud. Log. 102, No. 2, 339-360 (2014). MSC: 03B45 91A44 PDFBibTeX XMLCite \textit{J. Sack} and \textit{W. van der Hoek}, Stud. Log. 102, No. 2, 339--360 (2014; Zbl 1329.03059) Full Text: DOI
Bonanno, Giacomo (ed.); van Ditmarsch, Hans (ed.); van der Hoek, Wiebe (ed.) Editorial introduction to the special issue LOFT Sevilla. (English) Zbl 1298.00230 J. Philos. Log. 42, No. 6, 795-798 (2013). MSC: 00B25 03-06 03B42 03B45 03B60 PDFBibTeX XMLCite \textit{G. Bonanno} (ed.) et al., J. Philos. Log. 42, No. 6, 795--798 (2013; Zbl 1298.00230) Full Text: DOI
French, Tim; van der Hoek, Wiebe; Iliev, Petar; Kooi, Barteld On the succinctness of some modal logics. (English) Zbl 1270.03037 Artif. Intell. 197, 56-85 (2013). MSC: 03B45 03B42 03C13 68T27 68T30 PDFBibTeX XMLCite \textit{T. French} et al., Artif. Intell. 197, 56--85 (2013; Zbl 1270.03037) Full Text: DOI Link
van Ditmarsch, Hans; van der Hoek, Wiebe; Kooi, Barteld Local properties in modal logic. (English) Zbl 1251.03026 Artif. Intell. 187-188, 133-155 (2012). MSC: 03B45 03B42 68T30 PDFBibTeX XMLCite \textit{H. van Ditmarsch} et al., Artif. Intell. 187--188, 133--155 (2012; Zbl 1251.03026) Full Text: DOI
van Ditmarsch, Hans; van der Hoek, Wiebe; Kooi, Barteld Dynamic epistemic logic. (English) Zbl 1156.03015 Synthese Library 337. Dordrecht: Springer (ISBN 978-1-4020-6908-6/pbk; 978-1-4020-5838-7/hbk). xi, 282 p. (2008). Reviewer: Giacomo Bonanno (Davis) MSC: 03B42 03B45 68T27 03-02 PDFBibTeX XMLCite \textit{H. van Ditmarsch} et al., Dynamic epistemic logic. Dordrecht: Springer (2008; Zbl 1156.03015) Full Text: DOI
van der Hoek, Wiebe; Jamroga, Wojciech; Wooldridge, Michael Towards a theory of intention revision. (English) Zbl 1120.03013 Synthese 155, No. 2, 265-290 (2007). Reviewer: David Makinson (London) MSC: 03B42 03B45 03A05 PDFBibTeX XMLCite \textit{W. van der Hoek} et al., Synthese 155, No. 2, 265--290 (2007; Zbl 1120.03013) Full Text: DOI
Roorda, Jan-Willem; van der Hoek, Wiebe; Meyer, John-Jules Iterated belief change in multi-agent systems. (English) Zbl 1044.03011 Log. J. IGPL 11, No. 2, 223-246 (2003). Reviewer: Jan Šefránek (Bratislava) MSC: 03B42 68T30 68T27 PDFBibTeX XMLCite \textit{J.-W. Roorda} et al., Log. J. IGPL 11, No. 2, 223--246 (2003; Zbl 1044.03011) Full Text: DOI
van der Hoek, Wiebe; Thijsse, Elias A general approach to multi-agent minimal knowledge: With tools and samples. (English) Zbl 1010.03009 Stud. Log. 72, No. 1, 61-84 (2002). MSC: 03B42 68T27 PDFBibTeX XMLCite \textit{W. van der Hoek} and \textit{E. Thijsse}, Stud. Log. 72, No. 1, 61--84 (2002; Zbl 1010.03009) Full Text: DOI
van Linder, B.; van der Hoek, W.; Meyer, J.-J. Ch. The dynamics of default reasoning. (English) Zbl 0996.03020 Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 125-157 (2001). MSC: 03B60 68T27 03B42 03B45 PDFBibTeX XMLCite \textit{B. van Linder} et al., in: Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 125--157 (2001; Zbl 0996.03020)
van der Hoek, Wiebe; van Linder, Bernd; Meyer, John-Jules On agents that have the ability to choose. (English) Zbl 0971.03022 Stud. Log. 66, No. 1, 79-119 (2000). Reviewer: Bernhard Heinemann (Hagen) MSC: 03B45 68T27 03B70 PDFBibTeX XMLCite \textit{W. van der Hoek} et al., Stud. Log. 66, No. 1, 79--119 (2000; Zbl 0971.03022) Full Text: DOI
van der Hoek, Wiebe; Jaspars, Jan; Thijsse, Elias Persistence and minimality in epistemic logic. (English) Zbl 0942.03020 Ann. Math. Artif. Intell. 27, No. 1-4, 25-47 (1999). MSC: 03B42 68T30 03B45 PDFBibTeX XMLCite \textit{W. van der Hoek} et al., Ann. Math. Artif. Intell. 27, No. 1--4, 25--47 (1999; Zbl 0942.03020) Full Text: DOI
van der Hoek, Wiebe; Jaspars, Jan; Thijsse, Elias Persistence and minimality in epistemic logic. (English) Zbl 0929.03027 Dix, Jürgen (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’98. Dagstuhl, Germany, October 12–15, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1489, 62-76 (1998). MSC: 03B45 03B42 PDFBibTeX XMLCite \textit{W. van der Hoek} et al., Lect. Notes Comput. Sci. 1489, 62--76 (1998; Zbl 0929.03027)
Meyer, J.-J. Ch.; van der Hoek, W. Modal logics for representing incoherent knowledge. (English) Zbl 0932.03018 Besnard, Philippe (ed.) et al., Handbook of defeasible reasoning and uncertainty management systems. Vol. 2: Reasoning with actual and potential contradictions. Dordrecht: Kluwer Academic Publishers. 37-75 (1998). Reviewer: Anna Gomolińska (Bialystok) MSC: 03B42 68T30 03B45 PDFBibTeX XMLCite \textit{J. J. Ch. Meyer} and \textit{W. van der Hoek}, in: Handbook of defeasible reasoning and uncertainty management systems. Vol. 2: Reasoning with actual and potential contradictions. Dordrecht: Kluwer Academic Publishers. 37--75 (1998; Zbl 0932.03018)
van der Hoek, W.; Meyer, J. J. A complete epistemic logic for multiple agents. (English) Zbl 0956.03022 Bacharach, M. O. L. (ed.) et al., Epistemic logic and the theory of games and decisions. Based on the conference, Marseille, France, January 1994. Dordrecht: Kluwer Academic Publishers. Theory Decis. Libr., Ser. C. 20, 35-68 (1997). Reviewer: David Makinson (Ville d’Avray) MSC: 03B42 68T30 68T27 PDFBibTeX XMLCite \textit{W. van der Hoek} and \textit{J. J. Meyer}, in: Epistemic logic and the theory of games and decisions. Based on the conference, Marseille, France, January 1994. Dordrecht: Kluwer Academic Publishers. 35--68 (1997; Zbl 0956.03022)
van der Hoek, Wiebe; Meyer, John-Jules Modalities for reasoning about knowledge and uncertainties. (English) Zbl 0955.03512 Doherty, Patrick (ed.), Partiality, modality, and nonmonotonicity. Stanford, CA: CSLI Publications. Studies in Logic, Language and Information. 77-109 (1996). MSC: 03B70 68T37 03B45 68T27 03B42 68T30 PDFBibTeX XMLCite \textit{W. van der Hoek} and \textit{J.-J. Meyer}, in: Partiality, modality, and nonmonotonicity. Stanford, CA: CSLI Publications. 77--109 (1996; Zbl 0955.03512)
van der Hoek, Wiebe On the semantics of graded modalities. (English) Zbl 0797.03013 J. Appl. Non-Class. Log. 2, No. 1, 81-123 (1992). Reviewer: M.Zakharyashev (Moskva) MSC: 03B45 PDFBibTeX XMLCite \textit{W. van der Hoek}, J. Appl. Non-Class. Log. 2, No. 1, 81--123 (1992; Zbl 0797.03013)
van der Hoek, W.; Meyer, J.-J. Ch. Graded modalities in epistemic logic. (English) Zbl 0978.03515 Nerode, A. (ed.) et al., Logical foundations of computer science. Tver ’92, 2nd international symposium, Tver, Russia, July 20-24, 1992. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 620, 503-514 (1992). MSC: 03B45 03B42 68T27 68T30 PDFBibTeX XMLCite \textit{W. van der Hoek} and \textit{J. J. Ch. Meyer}, Lect. Notes Comput. Sci. 620, 503--514 (1992; Zbl 0978.03515)
van der Hoek, W.; Meyer, J.-J. Ch. Possible logics for belief. (English) Zbl 0786.03020 Logique Anal., Nouv. Sér. 32, No. 127-128, 177-194 (1989). Reviewer: J.Šefránek (Bratislava) MSC: 03B60 03B45 68T27 PDFBibTeX XMLCite \textit{W. van der Hoek} and \textit{J. J. Ch. Meyer}, Log. Anal., Nouv. Sér. 32, No. 127--128, 177--194 (1989; Zbl 0786.03020)