Pages that link to "Item:Q286591"
From MaRDI portal
The following pages link to Modal logics, justification logics, and realization (Q286591):
Displaying 23 items.
- Realization for justification logics via nested sequents: modularity through embedding (Q435202) (← links)
- On non-self-referential fragments of modal logics (Q508827) (← links)
- The sharpness property of justification logic (Q785962) (← links)
- Tools and techniques in modal logic (Q1297057) (← links)
- Encoding modal logics in logical frameworks (Q1577344) (← links)
- Paraconsistent logic, evidence, and justification (Q1685567) (← links)
- A logic of knowing why (Q2693121) (← links)
- Realization using the model existence theorem (Q2804327) (← links)
- A syntactic realization theorem for justification logics (Q2904046) (← links)
- Structuralist modals and the combination of logics (Q3119164) (← links)
- (Q3647278) (← links)
- (Q3770502) (← links)
- (Q4544187) (← links)
- (Q4603449) (← links)
- (Q4636037) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- Modal Logics and Group Polarization (Q5019294) (← links)
- (Q5019683) (← links)
- A Conflict Tolerant Logic of Explicit Evidence (Q5059694) (← links)
- (Q5104718) (← links)
- (Q5343334) (← links)
- On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs (Q6115850) (← links)
- Tableaux and interpolation for propositional justification logics (Q6564678) (← links)