Adding Proof Calculi to Epistemic Logics with Structured Knowledge

von Benevides, Mario
Veröffentlicht in FSEN (9. : 2021 : Online) Fundamentals of Software Engineering (2021)

Dynamic logic : new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings

Veröffentlicht 2018