Pages that link to "Item:Q2453576"
From MaRDI portal
The following pages link to A complexity question in justification logic (Q2453576):
Displaying 4 items.
- Lower complexity bounds in justification logic (Q408543) (← links)
- On the Complexity of Two-Agent Justification Logic (Q2921954) (← links)
- NEXP-Completeness and Universal Hardness Results for Justification Logic (Q3194706) (← links)
- Tableaux and interpolation for propositional justification logics (Q6564678) (← links)