THE LOGIC OF JUSTIFICATION
From MaRDI portal
Publication:3580683
DOI10.1017/S1755020308090060zbMath1205.03027OpenAlexW2104288836MaRDI 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
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)
Related Items
The dynamics of argumentative discourse, 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, Rosenkranz's logic of justification and unprovability, Modal logics, justification logics, and realization, Justifications for common knowledge, Simple Evidence Elimination in Justification Logic, Explicit Generic Common Knowledge, Update as Evidence: Belief Expansion, The Logic of Uncertain Justifications, Justifications, Awareness and Epistemic Dynamics, Temporalizing Modal Epistemic Logic, Decidability for some justification logics with negative introspection, A Conflict Tolerant Logic of Explicit Evidence, Two Ways to Common Knowledge, Labeled sequent calculus for justification logics, Relating Semantics for Epistemic Logic, Mathematical logic: proof theory, constructive mathematics. Abstracts fro the workshop held November 6--12, 2011., NEXP-Completeness and Universal Hardness Results for Justification Logic, Multi-agent justification logic: communication and evidence elimination, Semirings of Evidence, The logic of justified belief, explicit knowledge, and conclusive evidence, Possible world semantics for first-order logic of proofs, The logic of uncertain justifications, Substructural epistemic logics, A new framework for justification logic, Paraconsistent logic, evidence, and justification, Constructive agents, Conservativity for logics of justified belief: two approaches, Lower complexity bounds in justification logic, A note on strong axiomatization of Gödel justification logic, Modal and justification logics for multi-agent systems (invited talk), A substructural approach to explicit modal logic, Justification logics and hybrid logics, Tableaux for some deontic logics with the explicit permission operator, Hyperintensional logics for everyone, A logic of knowing why, Realizations and LP, Realization for justification logics via nested sequents: modularity through embedding, Unnamed Item, Reasoning about games, Discovering knowability: a semantic analysis, The ontology of justifications in the logical setting, A new semantics for systems of logic of essence, EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS, A logic of goal-directed knowing how, A complexity question in justification logic, Realizing public announcements by justifications, On the factivity of implicit intersubjective knowledge, Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic, On non-self-referential fragments of modal logics, The interrogative model of inquiry meets dynamic epistemic logics, Logic of confidence, Interpreting quantum logic as a pragmatic structure, The dynamics of epistemic attitudes in resource-bounded agents, Distributed knowledge justification logics, INTUITIONISTIC EPISTEMIC LOGIC, Tracking Evidence, A LOGIC OF JUSTIFICATION AND TRUTHMAKING, Self-referential justifications in epistemic logic, Beliefs supported by binary arguments, The NP-Completeness of Reflected Fragments of Justification Logics, Event-based time-stamped claim logic, The Minimal System of Justification Logic with Names, Knowledge, Time, and Logical Omniscience, Reasoning About Justified Belief Based on the Fusion of Evidence, The sharpness property of justification logic, Non-circular proofs and proof realization in modal logic, KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS
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
