Pages that link to "Item:Q631081"
From MaRDI portal
The following pages link to Justification logics and hybrid logics (Q631081):
Displaying 7 items.
- Modal logics, justification logics, and realization (Q286591) (← links)
- Conservativity for logics of justified belief: two approaches (Q408535) (← links)
- Lower complexity bounds in justification logic (Q408543) (← links)
- A modal provability logic of explicit and implicit proofs (Q636278) (← links)
- Internalization: The case of hybrid logics (Q2772880) (← links)
- The Minimal System of Justification Logic with Names (Q5213663) (← links)
- On intermediate justification logics (Q6111085) (← links)