The logic of justification

DOI10.1017/S1755020308090060MaRDI QIDQ3580683zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 3014189 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• Active agents
• Belief, awareness, and limited reasoning
• Computer Science Logic
• Constructivism in mathematics. An introduction. Volume I
• Derivability in certain subsystems of the logic of proofs is _2p-complete
• Explicit provability and constructive semantics
• Impossible possible worlds vindicated
• Introducing Justification into Epistemic Logic
• Justified common knowledge
• Logic of Proofs and Labels with a Complete Set of Operations
• Making knowledge explicit: how hard it is
• On the complexity of the reflected logic of proofs
• On the interpretation of intuitionistic number theory
• Referential logic of proofs
• The logic of proofs, semantically
• The single-conclusion proof logic and inference rules specification

Cited in

(97)

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

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)