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 logicGettier examplejustification logicprime 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

• 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
• 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?)
• 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

(only showing first 100 items - show all)

• Paraconsistent logic, evidence, and justification
• Constructive agents
• Constructive knowledge and the justified true belief paradigm
• On the logical unsolvability of the Gettier problem
• 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
• Justification logic with confidence
• 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
• The defeasible nature of coherentist justification
• The logic of epistemic justification
• Hyperintensional logics for everyone
• A logic of knowing why
• Reasoning about justified belief based on the fusion of evidence
• Modal logics, justification logics, and realization
• Justifications for common knowledge
• Simple evidence elimination in justification logic
• Comments on Artemov
• Two ways to common knowledge
• NEXP-completeness and universal hardness results for justification logic
• Modelling sources of inconsistent information in paraconsistent modal logic
• Labeled sequent calculus for justification logics
• Argument-based belief in topological structures
• Mathematical logic: proof theory, constructive mathematics. Abstracts fro the workshop held November 6--12, 2011.
• Explicit generic common knowledge
• Update as evidence: belief expansion
• The logic of uncertain justifications
• Justifications, Awareness and Epistemic Dynamics
• Temporalizing modal epistemic logic
• Justification logic and history based computation
• Tracking evidence
• The NP-Completeness of Reflected Fragments of Justification Logics
• Knowledge, Time, and Logical Omniscience
• 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
• scientific article; zbMATH DE number 1273299 (Why is no real title available?)
• Realization for justification logics via nested sequents: modularity through embedding
• scientific article; zbMATH DE number 2019861 (Why is no real title available?)
• The ontology of justifications in the logical setting
• The logical burdens of proof. Assertion and hypothesis
• A new semantics for systems of logic of essence
• Substructural epistemic logics
• A new framework for justification logic
• In defence of a logic for ‘because’
• On the justification problems: towards a Peircean diagnosis and solution
• Beliefs supported by binary arguments
• On the factivity of implicit intersubjective knowledge
• On degrees of justification
• Logics of Moore's paradox
• A LOGIC OF JUSTIFICATION AND TRUTHMAKING
• Knowledge, justification, and adequate reasons
• A Conflict Tolerant Logic of Explicit Evidence
• Relating semantics for epistemic logic
• On non-self-referential fragments of modal logics
• Semirings of Evidence
• Gettier cases, logical knowledge and evidential luck
• The interrogative model of inquiry meets dynamic epistemic logics
• Logic of confidence
• Intuitive and Regressive Justifications†
• The Minimal System of Justification Logic with Names
• Why do we need justification logic?
• Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer)
• Possibilistic justification logic: reasoning about justified uncertain beliefs
• 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
• scientific article; zbMATH DE number 6302917 (Why is no real title available?)
• INTUITIONISTIC EPISTEMIC LOGIC
• Classical reasoning in the justification paradigm
• Modal and justification logics for multi-agent systems (invited talk)
• A substructural approach to explicit modal logic
• Tableaux for some deontic logics with the explicit permission operator
• Justification logics and hybrid logics
• Realizations and LP
• Reasoning about games
• Error, consistency and triviality
• Optimality justifications and the optimality principle: new tools for foundation-theoretic epistemology
• Common law precedent and the logic of reasons
• Epistemic logics for relevant reasoners
• Uncertainty-based semantics for multi-agent knowing how logics
• Interpreting quantum logic as a pragmatic structure
• Towards a polarized semantics for assertion and denial
• Kolmogorov's Calculus of Problems and its Legacy
• On the pure logic of justified belief
• Argument-based belief and the evidence topology
• Uncertainty-based knowing how logic
• Explicit and implicit belief in first degree entailment with strict implication

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)