The logic of justification

DOI10.1017/S1755020308090060zbMATH Open1205.03027OpenAlexW2104288836MaRDI QIDQ3580683FDOQ3580683

Authors: Sergei Artemov 

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

Recommendations

• The Logic of Justification
• A new framework for justification logic
• Introducing Justification into Epistemic Logic
• Logics of proofs and justifications
• Comments on Artemov

zbMATH Keywords

epistemic logicjustification logicGettier exampleprime minister exampleRed Barn paradox

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Cites Work

• Belief, awareness, and limited reasoning
• Constructivism in mathematics. An introduction. Volume I
• Impossible possible worlds vindicated
• Explicit provability and constructive semantics
• On the interpretation of intuitionistic number theory
• The logic of proofs, semantically
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Introducing Justification into Epistemic Logic
• Title not available (Why is that?)
• Justified common knowledge
• Making knowledge explicit: how hard it is
• On the complexity of the reflected logic of proofs
• Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
• The single-conclusion proof logic and inference rules specification
• Active agents
• Computer Science Logic
• Logic of Proofs and Labels with a Complete Set of Operations
• Referential logic of proofs

Cited In (97)

• The logic of justified belief, explicit knowledge, and conclusive evidence
• The logic of uncertain justifications
• Rosenkranz's logic of justification and unprovability
• A logic of goal-directed knowing how
• INTUITIONISTIC EPISTEMIC LOGIC
• Lower complexity bounds in justification logic
• Discovering knowability: a semantic analysis
• Self-referential justifications in epistemic logic
• Decidability for some justification logics with negative introspection
• Constructive agents
• Reasoning about games
• Probabilistic justification logic
• The ontology of justifications in the logical setting
• Simple evidence elimination in justification logic
• A substructural approach to explicit modal logic
• Knowledge, justification, and adequate reasons
• Title not available (Why is that?)
• Modal logics, justification logics, and realization
• Non-circular proofs and proof realization in modal logic
• Substructural epistemic logics
• Possible world semantics for first-order logic of proofs
• Tracking evidence
• Update as evidence: belief expansion
• Temporalizing modal epistemic logic
• Why do we need justification logic?
• Two ways to common knowledge
• The dynamics of epistemic attitudes in resource-bounded agents
• Justification logics and hybrid logics
• Realizations and LP
• The defeasible nature of coherentist justification
• Paraconsistent logic, evidence, and justification
• Logics of Moore's paradox
• Possibilistic justification logic: reasoning about justified uncertain beliefs
• Justification logic and history based computation
• Interpreting quantum logic as a pragmatic structure
• On aggregating probabilistic evidence
• Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer)
• A new semantics for systems of logic of essence
• A logic of plausible justifications
• Event-based time-stamped claim logic
• NEXP-completeness and universal hardness results for justification logic
• Justifications for common knowledge
• Labeled sequent calculus for justification logics
• Conservativity for logics of justified belief: two approaches
• Realization for justification logics via nested sequents: modularity through embedding
• A Conflict Tolerant Logic of Explicit Evidence
• The logic of uncertain justifications
• Mathematical logic: proof theory, constructive mathematics. Abstracts fro the workshop held November 6--12, 2011.
• On the factivity of implicit intersubjective knowledge
• On degrees of justification
• Knowledge, Time, and Logical Omniscience
• Constructive knowledge and the justified true belief paradigm
• The sharpness property of justification logic
• The NP-Completeness of Reflected Fragments of Justification Logics
• An arithmetical interpretation of verification and intuitionistic knowledge
• Logic of confidence
• Title not available (Why is that?)
• Relating semantics for epistemic logic
• Explicit generic common knowledge
• On non-self-referential fragments of modal logics
• A LOGIC OF JUSTIFICATION AND TRUTHMAKING
• Multi-agent justification logic: communication and evidence elimination
• A note on strong axiomatization of Gödel justification logic
• The interrogative model of inquiry meets dynamic epistemic logics
• On the logical unsolvability of the Gettier problem
• The logic of epistemic justification
• Modelling sources of inconsistent information in paraconsistent modal logic
• Modal and justification logics for multi-agent systems (invited talk)
• Comments on Artemov
• Title not available (Why is that?)
• Semirings of Evidence
• In defence of a logic for ‘because’
• Justifications, Awareness and Epistemic Dynamics
• Modal logics with hard diamond-free fragments
• A complexity question in justification logic
• The dynamics of argumentative discourse
• A new framework for justification logic
• EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
• Reasoning about justified belief based on the fusion of evidence
• Intuitive and Regressive Justifications†
• Realizing public announcements by justifications
• Common law precedent and the logic of reasons
• Epistemic logics for relevant reasoners
• Beliefs supported by binary arguments
• On the justification problems: towards a Peircean diagnosis and solution
• The logical burdens of proof. Assertion and hypothesis
• A logic of knowing why
• Tableaux for some deontic logics with the explicit permission operator
• Error, consistency and triviality
• Optimality justifications and the optimality principle: new tools for foundation-theoretic epistemology
• Gettier cases, logical knowledge and evidential luck
• Hyperintensional logics for everyone
• Justification logic with confidence
• Distributed knowledge justification logics
• Argument-based belief in topological structures
• The Minimal System of Justification Logic with Names
• Uncertainty-based semantics for multi-agent knowing how logics

This page was built for publication: The logic of justification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3580683)