Pages that link to "Item:Q4914518"
From MaRDI portal
The following pages link to Decidability for Justification Logics Revisited (Q4914518):
Displaying 4 items.
- On the Complexity of Two-Agent Justification Logic (Q2921954) (← links)
- Justification announcements in discrete time. Part II: Frame definability results (Q5241923) (← links)
- Decidability for some justification logics with negative introspection (Q5300069) (← links)
- Tableaux and interpolation for propositional justification logics (Q6564678) (← links)