Pages that link to "Item:Q2303608"
From MaRDI portal
The following pages link to Subset models for justification logic (Q2303608):
Displaying 7 items.
- Explicit non-normal modal logic (Q2148779) (← links)
- Soundness and completeness results for LEA and probability semantics (Q2151410) (← links)
- (Q2939495) (← links)
- Justification Logics with Probability Operators (Q5024719) (← links)
- Semirings of Evidence (Q5098741) (← links)
- On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs (Q6115850) (← links)
- Subset models for justification logic (Q6313749) (← links)