Pages that link to "Item:Q1028642"

The following pages link to Justification logics, logics of knowledge, and conservativity (Q1028642):

Displayed 11 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)
• Propositional games with explicit strategies (Q731893) ‎ (← links)
• Justification logics, logics of knowledge, and conservativity (Q1028642) ‎ (← links)
• Structured argumentation dynamics. Undermining attacks in default justification logic (Q2075383) ‎ (← links)
• Distributed knowledge justification logics (Q2254486) ‎ (← links)
• Justifications for common knowledge (Q2901206) ‎ (← links)
• Conservativity for Logics of Justified Belief (Q3605540) ‎ (← links)
• A new framework for justification logic (Q4586147) ‎ (← links)
• The Minimal System of Justification Logic with Names (Q5213663) ‎ (← links)