HomeIsabelle/Phabricator

adjust Stalnaker_Logic to changes in Epistemic_Logic;

Description

adjust Stalnaker_Logic to changes in Epistemic_Logic;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFP474696083e43: adjusted to distribution
Branches
Unknown
Tags
Unknown