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 (74)
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 ⋮ Error, consistency and triviality ⋮ 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
This page was built for publication: THE LOGIC OF JUSTIFICATION
