HomeIsabelle/Phabricator
Diffusion afp-devel febc0f010210

Strong completeness for PAL systems.
febc0f010210
Actions

Description

Strong completeness for PAL systems.

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFPb37dd66c6996: Cleanup.
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFPfebc0f010210: Strong completeness for PAL systems..Feb 3 2022, 5:07 PM

Changes (2)

PathSize
thys/
Epistemic_Logic/
Public_Announcement_Logic/

rAFPfebc0f010210

View Options

thys/Epistemic_Logic/Epistemic_Logic.thy

Loading...
View Options

thys/Public_Announcement_Logic/PAL.thy

Loading...