Pages that link to "Item:Q5434494"
From MaRDI portal
The following pages link to Justified and Common Knowledge: Limited Conservativity (Q5434494):
Displaying 11 items.
- The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
- Propositional games with explicit strategies (Q731893) (← links)
- Feasible operations on proofs: the logic of proofs for bounded arithmetic (Q929293) (← links)
- Syntactic cut-elimination for common knowledge (Q1024553) (← links)
- Justified common knowledge (Q2500478) (← links)
- The Logic of Justification (Q2971696) (← links)
- Two Ways to Common Knowledge (Q3185764) (← links)
- The Proof Theory of Common Knowledge (Q3299587) (← links)
- Explicit Generic Common Knowledge (Q3455832) (← links)
- Syntactic Cut-elimination for Common Knowledge (Q4982123) (← links)
- Pairing Traditional and Generic Common Knowledge (Q5283415) (← links)