Pages that link to "Item:Q435202"
From MaRDI portal
The following pages link to Realization for justification logics via nested sequents: modularity through embedding (Q435202):
Displaying 9 items.
- Labeled sequent calculus for justification logics (Q331048) (← links)
- Modal interpolation via nested sequents (Q487689) (← links)
- On non-self-referential fragments of modal logics (Q508827) (← links)
- Distributed knowledge justification logics (Q2254486) (← links)
- Non-circular proofs and proof realization in modal logic (Q2349104) (← links)
- Realization Theorems for Justification Logics: Full Modularity (Q3455773) (← links)
- The Minimal System of Justification Logic with Names (Q5213663) (← links)
- Possibilistic Justification Logic (Q5278213) (← links)
- On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs (Q6115850) (← links)
