Pages that link to "Item:Q3371155"

The following pages link to Introducing Justification into Epistemic Logic (Q3371155):

Displaying 50 items.

• Labeled sequent calculus for justification logics (Q331048) (← links)
• Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
• The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
• Evidence and plausibility in neighborhood structures (Q392275) (← links)
• Tableaux and hypersequents for justification logics (Q408538) (← links)
• Lower complexity bounds in justification logic (Q408543) (← links)
• Prefixed tableaus and nested sequents (Q409323) (← links)
• A modal type theory for formalizing trusted communications (Q420842) (← links)
• The ontology of justifications in the logical setting (Q454364) (← links)
• Syntactic awareness in logical dynamics (Q513899) (← links)
• The dynamics of awareness (Q625715) (← links)
• Dynamic logics of knowledge and access (Q625719) (← links)
• Propositional games with explicit strategies (Q731893) (← links)
• A logic of plausible justifications (Q744992) (← links)
• Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief (Q814492) (← links)
• An epistemic logic for becoming informed (Q833038) (← links)
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements (Q833736) (← links)
• Feasible operations on proofs: the logic of proofs for bounded arithmetic (Q929293) (← links)
• Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
• Self-referential justifications in epistemic logic (Q987374) (← links)
• Justification logics, logics of knowledge, and conservativity (Q1028642) (← links)
• Static justification in the dynamics of belief (Q1583798) (← links)
• A logic of interactive proofs (Q2151405) (← links)
• A modal view on resource-bounded propositional logics (Q2157601) (← links)
• Justified common knowledge (Q2500478) (← links)
• Inference as doxastic agency. I: The basics of justification stit logic (Q2631648) (← links)
• A logic of knowing why (Q2693121) (← links)
• Reasoning About Justified Belief Based on the Fusion of Evidence (Q2835874) (← links)
• Logics of Rational Interaction (Q2902939) (← links)
• Modalities Without Worlds (Q2908759) (← links)
• Agency and Interaction What We Are and What We Do in Formal Epistemology (Q2971668) (← links)
• The Logic of Justification (Q2971696) (← links)
• (Q3384088) (← links)
• Justifications, Awareness and Epistemic Dynamics (Q3455854) (← 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)
• Tableaux and Hypersequents for Justification Logic (Q3605536) (← links)
• Decidability: theorems and admissible rules (Q3643317) (← links)
• DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE (Q3644801) (← links)
• A new framework for justification logic (Q4586147) (← links)
• Stit logic of justification announcements: a completeness result (Q4612434) (← links)
• Beliefs supported by binary arguments (Q4685528) (← links)
• A LOGIC OF JUSTIFICATION AND TRUTHMAKING (Q4928776) (← 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)