Picture for Sebastian Reiche

Sebastian Reiche

Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy

Add code
Nov 03, 2021
Figure 1 for Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy
Figure 2 for Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy
Figure 3 for Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy
Figure 4 for Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy
Viaarxiv icon

Public Announcement Logic in HOL

Add code
Oct 02, 2020
Viaarxiv icon