Pages that link to "Item:Q1028642"
From MaRDI portal
The following pages link to Justification logics, logics of knowledge, and conservativity (Q1028642):
Displaying 20 items.
- Labeled sequent calculus for justification logics (Q331048) (← links)
- Conservativity for logics of justified belief: two approaches (Q408535) (← links)
- Realization for justification logics via nested sequents: modularity through embedding (Q435202) (← links)
- Intricate axioms as interaction axioms (Q497427) (← links)
- Propositional games with explicit strategies (Q731893) (← links)
- Rosenkranz's logic of justification and unprovability (Q830400) (← links)
- Justification logics, logics of knowledge, and conservativity (Q1028642) (← links)
- A1 is not a conservative extension of S4 but of S5 (Q1123182) (← links)
- Structured argumentation dynamics. Undermining attacks in default justification logic (Q2075383) (← links)
- Distributed knowledge justification logics (Q2254486) (← links)
- A logic of knowing why (Q2693121) (← links)
- Justifications for common knowledge (Q2901206) (← links)
- Introducing Justification into Epistemic Logic (Q3371155) (← links)
- Conservativity for Logics of Justified Belief (Q3605540) (← links)
- (Q4544185) (← links)
- A new framework for justification logic (Q4586147) (← links)
- A LOGIC OF JUSTIFICATION AND TRUTHMAKING (Q4928776) (← links)
- The Minimal System of Justification Logic with Names (Q5213663) (← links)
- (Q5419893) (← links)
- Countering Justification Holism in the Epistemology of Logic: The Argument from Pre-Theoretic Universality (Q6058200) (← links)