The following pages link to Justified common knowledge (Q2500478):
Displaying 42 items.
- 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)
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- The ontology of justifications in the logical setting (Q454364) (← links)
- A modal provability logic of explicit and implicit proofs (Q636278) (← links)
- Propositional games with explicit strategies (Q731893) (← links)
- A logic of plausible justifications (Q744992) (← links)
- Syntactic cut-elimination for common knowledge (Q1024553) (← links)
- Justification logics, logics of knowledge, and conservativity (Q1028642) (← links)
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms (Q1694714) (← links)
- Explicit non-normal modal logic (Q2148779) (← links)
- Non-circular proofs and proof realization in modal logic (Q2349104) (← links)
- Realizing public announcements by justifications (Q2453578) (← links)
- A quantified logic of evidence (Q2478547) (← links)
- A logic of knowing why (Q2693121) (← links)
- Justifications for common knowledge (Q2901206) (← 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)
- Update as Evidence: Belief Expansion (Q3455850) (← links)
- The Logic of Uncertain Justifications (Q3455853) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- S4LP and Local Realizability (Q3503636) (← links)
- Justification Logic (Q3532452) (← links)
- 2007 Annual Meeting of the Association for Symbolic Logic (Q3533520) (← links)
- THE LOGIC OF JUSTIFICATION (Q3580683) (← links)
- Tracking Evidence (Q3585997) (← links)
- Reasoning with Justifications (Q3600565) (← links)
- The NP-Completeness of Reflected Fragments of Justification Logics (Q3605524) (← links)
- Syntactic Cut-elimination for Common Knowledge (Q4982123) (← links)
- A Conflict Tolerant Logic of Explicit Evidence (Q5059694) (← links)
- Semirings of Evidence (Q5098741) (← links)
- A Logic of Knowledge and Belief Based on Abstract Arguments (Q5098746) (← links)
- Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility (Q5214739) (← links)
- SMALL INFINITARY EPISTEMIC LOGICS (Q5216976) (← links)
- Pairing Traditional and Generic Common Knowledge (Q5283415) (← links)
- An Arithmetical Interpretation of Verification and Intuitionistic Knowledge (Q5283437) (← links)
- Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility (Q5283440) (← links)
- The basic intuitionistic logic of proofs (Q5294019) (← links)
- Symmetric Logic of Proofs (Q5452174) (← links)
