Pages that link to "Item:Q3613333"
From MaRDI portal
The following pages link to Logical Omniscience Via Proof Complexity (Q3613333):
Displaying 14 items.
- Logical omniscience as infeasibility (Q392271) (← links)
- The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
- The logic of uncertain justifications (Q392291) (← links)
- Lower complexity bounds in justification logic (Q408543) (← links)
- Feasible operations on proofs: the logic of proofs for bounded arithmetic (Q929293) (← links)
- The Logic of Justification (Q2971696) (← links)
- The Logic of Uncertain Justifications (Q3455853) (← links)
- Justification Logic (Q3532452) (← links)
- Reasoning with Justifications (Q3600565) (← links)
- The NP-Completeness of Reflected Fragments of Justification Logics (Q3605524) (← links)
- Knowledge, Time, and Logical Omniscience (Q3638298) (← links)
- A sound and complete proof theory for the generalized logic of only knowing (Q4421274) (← links)
- Semirings of Evidence (Q5098741) (← links)
- On Definitive Solutions of Strategic Games (Q5249680) (← links)