Pages that link to "Item:Q987374"
From MaRDI portal
The following pages link to Self-referential justifications in epistemic logic (Q987374):
Displaying 11 items.
- The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
- Self-referentiality of Brouwer-Heyting-Kolmogorov semantics (Q392298) (← links)
- Lower complexity bounds in justification logic (Q408543) (← links)
- Realization for justification logics via nested sequents: modularity through embedding (Q435202) (← links)
- On non-self-referential fragments of modal logics (Q508827) (← links)
- Prehistoric graph in modal derivations and self-referentiality (Q1678748) (← links)
- Realizing public announcements by justifications (Q2453578) (← links)
- Justifications for common knowledge (Q2901206) (← links)
- Two Ways to Common Knowledge (Q3185764) (← links)
- Realization Theorems for Justification Logics: Full Modularity (Q3455773) (← links)
- Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic (Q3455862) (← links)
