The following pages link to (Q5419893):
Displaying 12 items.
- Modal logics, justification logics, and realization (Q286591) (← links)
- Labeled sequent calculus for justification logics (Q331048) (← links)
- On non-self-referential fragments of modal logics (Q508827) (← links)
- The complexity of satisfiability in non-iterated and iterated probabilistic logics (Q1783740) (← links)
- Explicit non-normal modal logic (Q2148779) (← links)
- A logic of interactive proofs (Q2151405) (← links)
- A logic of knowing why (Q2693121) (← links)
- The Proof Theory of Common Knowledge (Q3299587) (← links)
- Justification Logics with Probability Operators (Q5024719) (← links)
- Probabilistic Justification Logic (Q5283426) (← links)
- Conditional obligations in justification logic (Q6118688) (← links)
- Providing personalized explanations: a conversational approach (Q6179528) (← links)