<style face="normal" font="default" size="100%">Lower complexity bounds in justification logic</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Lower complexity bounds in justification logic</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Realization for Justification Logics via Nested Sequents: Modularity through Embedding</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Justifications for Common Knowledge</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Partial Realization in Dynamic Justification Logic</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Explicit Evidence Systems with Common Knowledge</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Self-Referential Justifications in Epistemic Logic</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Two Ways to Common Knowledge</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Justified Belief Change</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Syntactic Realization Theorem for Justification Logics</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Logical Omniscience as a Computational Complexity Problem</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">The NP-completeness of reflected fragments of justification logics</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Note on the Use of Sum in the Logic of Proofs</style>