THE LOGIC OF JUSTIFICATION
From MaRDI portal
Publication:3580683
DOI10.1017/S1755020308090060zbMath1205.03027MaRDI QIDQ3580683
Publication date: 13 August 2010
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020308090060
03B45: Modal logic (including the logic of norms)
03B42: Logics of knowledge and belief (including belief change)
Related Items
Substructural epistemic logics, A new framework for justification logic, Beliefs supported by binary arguments, A LOGIC OF JUSTIFICATION AND TRUTHMAKING, KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS, A Conflict Tolerant Logic of Explicit Evidence, Relating Semantics for Epistemic Logic, Semirings of Evidence, The Minimal System of Justification Logic with Names, Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer), Possibilistic Justification Logic, Modal Logics with Hard Diamond-Free Fragments, On Aggregating Probabilistic Evidence, Probabilistic Justification Logic, An Arithmetical Interpretation of Verification and Intuitionistic Knowledge, Decidability for some justification logics with negative introspection, EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS, INTUITIONISTIC EPISTEMIC LOGIC, A substructural approach to explicit modal logic, Modal logics, justification logics, and realization, Labeled sequent calculus for justification logics, Mathematical logic: proof theory, constructive mathematics. Abstracts fro the workshop held November 6--12, 2011., Multi-agent justification logic: communication and evidence elimination, The logic of justified belief, explicit knowledge, and conclusive evidence, Possible world semantics for first-order logic of proofs, The logic of uncertain justifications, Conservativity for logics of justified belief: two approaches, Lower complexity bounds in justification logic, Realization for justification logics via nested sequents: modularity through embedding, The ontology of justifications in the logical setting, A new semantics for systems of logic of essence, On the factivity of implicit intersubjective knowledge, On non-self-referential fragments of modal logics, The interrogative model of inquiry meets dynamic epistemic logics, Logic of confidence, Justification logics and hybrid logics, Realizations and LP, Reasoning about games, Interpreting quantum logic as a pragmatic structure, The sharpness property of justification logic, Rosenkranz's logic of justification and unprovability, Self-referential justifications in epistemic logic, Paraconsistent logic, evidence, and justification, Constructive agents, The dynamics of epistemic attitudes in resource-bounded agents, Event-based time-stamped claim logic, The dynamics of argumentative discourse, A note on strong axiomatization of Gödel justification logic, A logic of goal-directed knowing how, Distributed knowledge justification logics, Non-circular proofs and proof realization in modal logic, Discovering knowability: a semantic analysis, A complexity question in justification logic, Realizing public announcements by justifications, Hyperintensional logics for everyone, A logic of knowing why, Reasoning About Justified Belief Based on the Fusion of Evidence, Justifications for common knowledge, Simple Evidence Elimination in Justification Logic, Two Ways to Common Knowledge, NEXP-Completeness and Universal Hardness Results for Justification Logic, Unnamed Item, Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic, Explicit Generic Common Knowledge, Update as Evidence: Belief Expansion, The Logic of Uncertain Justifications, Justifications, Awareness and Epistemic Dynamics, Temporalizing Modal Epistemic Logic, Tracking Evidence, The NP-Completeness of Reflected Fragments of Justification Logics, Knowledge, Time, and Logical Omniscience
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The logic of proofs, semantically
- Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
- Belief, awareness, and limited reasoning
- Constructivism in mathematics. An introduction. Volume I
- Impossible possible worlds vindicated
- Active agents
- Justified common knowledge
- Making knowledge explicit: how hard it is
- On the complexity of the reflected logic of proofs
- Referential logic of proofs
- Explicit Provability and Constructive Semantics
- Introducing Justification into Epistemic Logic
- Logic of Proofs and Labels with a Complete Set of Operations
- Computer Science Logic
- On the interpretation of intuitionistic number theory
- The single-conclusion proof logic and inference rules specification