Search Results for author: Sebastian Reiche

Found 2 papers, 1 papers with code

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

1 code implementation • 2 Nov 2021 • Christoph Benzmüller, Sebastian Reiche

A shallow semantical embedding for public announcement logic with relativized common knowledge is presented.

13

Paper
Code

Public Announcement Logic in HOL

no code implementations • 2 Oct 2020 • Sebastian Reiche, Christoph Benzmüller

A shallow semantical embedding for public announcement logic with relativized common knowledge is presented.

Paper
Add Code

Cannot find the paper you are looking for? You can Submit a new open access paper.