Zobrazeno 1 - 10
of 150
pro vyhledávání: '"Hans van Ditmarsch"'
Publikováno v:
Human-Centric Intelligent Systems, Vol 4, Iss 2, Pp 286-298 (2024)
Abstract Bayesian networks are commonly used for learning with uncertainty and incorporating expert knowledge. However, they are hard to interpret, especially when the network structure is complex. Methods used to explain Bayesian networks operate un
Externí odkaz:
https://doaj.org/article/84ab2dde3c984a9e9a1daac1f22202e0
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Combinatorial topology is used in distributed computing to model concurrency and asynchrony. The basic structure in combinatorial topology is the simplicial complex, a collection of subsets called simplices of a set of vertices, closed under containm
Externí odkaz:
https://doaj.org/article/0e191e2a9a2a4544acfc06eacbb6a9ea
Publikováno v:
Bulletin of the Section of Logic, Vol 50, Iss 3, Pp 373-395 (2021)
We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable. We also obtain a new definition
Externí odkaz:
https://doaj.org/article/6fed27baf3364b1793a2e25465aa1ec7
Autor:
Hans van Ditmarsch, Tim French
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 1 (2022)
Various extensions of public announcement logic have been proposed with quantification over announcements. The best-known extension is called arbitrary public announcement logic, APAL. It contains a primitive language construct Box phi intuitively ex
Externí odkaz:
https://doaj.org/article/845674686fcc4432989ac920df848a74
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 251, Iss Proc. TARK 2017, Pp 1-9 (2017)
We present four logic puzzles and after that their solutions. Joseph Yeo designed 'Cheryl's Birthday'. Mike Hartley came up with a novel solution for 'One Hundred Prisoners and a Light Bulb'. Jonathan Welton designed 'A Blind Guess' and 'Abby's Birth
Externí odkaz:
https://doaj.org/article/ac0be5e05c5540c6811a450b13d354ab
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 251, Iss Proc. TARK 2017, Pp 28-42 (2017)
In this paper we introduce global and local announcement logic (GLAL), a dynamic epistemic logic with two distinct announcement operators – [φ]^+_A and [φ] ^-_A indexed to a subset A of the set Ag of all agents – for global and local announceme
Externí odkaz:
https://doaj.org/article/7c8ffd19890648288107c90f74f9f8e4
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 215, Iss Proc. TARK 2015, Pp 283-297 (2016)
We propose a multi-agent logic of knowledge, public and arbitrary announcements, that is interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subse
Externí odkaz:
https://doaj.org/article/b394954123654bdda5b94aa0f9261ae3
Publikováno v:
Logic and Logical Philosophy. :1-42
In this paper, we propose three knowability logics LK, LK−, and LK=. In the single-agent case, LK is equally expressive as arbitrary public announcement logic APAL and public announcement logic PAL, whereas in the multi-agent case, LK is more expre
Publikováno v:
Journal of Logic and Computation.
Group announcement logic (GAL) and coalition announcement logic (CAL) allow us to reason about whether it is possible for groups and coalitions of agents to achieve their desired epistemic goals through truthful public communication. The difference b
Publikováno v:
Bulletin of the Section of Logic, Vol 50, Iss 3, Pp 373-395 (2021)
Chen, J, van Ditmarsch, H, Greco, G & Tzimoulis, A 2021, ' Neighbourhood semantics for graded modal logic ', Bulletin of the Section of Logic, vol. 50, no. 3, pp. 373-395 . https://doi.org/10.18778/0138-0680.2021.12
Bulletin of the Section of Logic, 50(3), 373-395. Department of Logic, University of Lodz
Chen, J, van Ditmarsch, H, Greco, G & Tzimoulis, A 2021, ' Neighbourhood semantics for graded modal logic ', Bulletin of the Section of Logic, vol. 50, no. 3, pp. 373-395 . https://doi.org/10.18778/0138-0680.2021.12
Bulletin of the Section of Logic, 50(3), 373-395. Department of Logic, University of Lodz
We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable. We also obtain a new definition