7 found
  1.  28
    Reasoning about general preference relations.Davide Grossi, Wiebe van der Hoek & Louwe B. Kuijer - 2022 - Artificial Intelligence 313 (C):103793.
  2.  6
    Second-order propositional modal logic: Expressiveness and completeness results.Francesco Belardinelli, Wiebe van der Hoek & Louwe B. Kuijer - 2018 - Artificial Intelligence 263 (C):3-45.
  3.  17
    The logic of gossiping.Hans van Ditmarsch, Wiebe van der Hoek & Louwe B. Kuijer - 2020 - Artificial Intelligence 286 (C):103306.
  4.  4
    Arbitrary arrow update logic.Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi & Louwe B. Kuijer - 2017 - Artificial Intelligence 242 (C):80-106.
  5.  16
    Fully Arbitrary Public Announcements.Hans van Ditmarsch, Wiebe van der Hoek & Louwe B. Kuijer - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 252-267.
    No categories
    Direct download  
    Export citation  
    Bookmark   3 citations  
  6.  9
    Who Should Be My Friends? Social Balance from the Perspective of Game Theory.Wiebe van der Hoek, Louwe B. Kuijer & Yì N. Wáng - 2022 - Journal of Logic, Language and Information 31 (2):189-211.
    We define balance games, which describe the formation of friendships and enmity in social networks. We show that if the agents give high priority to future profits over short term gains, all Pareto optimal strategies will eventually result in a balanced network. If, on the other hand, agents prioritize short term gains over the long term, every Nash equilibrium eventually results in a network that is stable but that might not be balanced.
    Direct download (3 more)  
    Export citation  
  7.  31
    The expressivity of factual change in dynamic epistemic logic.Louwe B. Kuijer - 2014 - Review of Symbolic Logic 7 (2):1-14.
    A commonly used dynamic epistemic logic is one obtained by adding commonknowledge and public announcements to a basic epistemic logic. It is known from Kooi (2007) that adding public substitutions to such a logic adds expressivity over the class K of models. Here I show that substitutions also add expressivity over the classes KD45, S4 and S5 of models. Since the combination of common knowledge, public announcements and substitutions, was shown in Kooi (2007) to be equally expressive to relativized common (...)
    Direct download (4 more)  
    Export citation