The ontology of justifications in the logical setting
From MaRDI portal
Publication:454364
DOI10.1007/S11225-012-9387-XzbMATH Open1255.03027OpenAlexW2050519161MaRDI QIDQ454364FDOQ454364
Authors: Sergei Artemov 
Publication date: 1 October 2012
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-012-9387-x
Recommendations
Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)
Cites Work
- Explicit provability and constructive semantics
- The logic of proofs, semantically
- On Realization of -modality by Evidence Terms
- The logic of justification
- Title not available (Why is that?)
- Realizations and LP
- Introducing Justification into Epistemic Logic
- Interacting explicit evidence systems
- A quantified logic of evidence
- Justified common knowledge
- Making knowledge explicit: how hard it is
- On the complexity of the reflected logic of proofs
- From the knowability paradox to the existence of proofs
- Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
- Modal Logics of Negotiation and Preference
Cited In (44)
- The logic of justified belief, explicit knowledge, and conclusive evidence
- Exploring subset models for justification logic
- J-Calc: a typed lambda calculus for intuitionistic justification logic
- Justifications, Awareness and Epistemic Dynamics
- Logic of implicit and explicit justifiers
- Inference as doxastic agency. II: Ramifications and refinements
- Probabilistic justification logic
- First-order justification logic with constant domain semantics
- Introducing Justification into Epistemic Logic
- Title not available (Why is that?)
- Modal logics, justification logics, and realization
- Prehistoric graph in modal derivations and self-referentiality
- Update as evidence: belief expansion
- Natural deduction and semantic models of justification logic in the proof assistant \textsc{Coq}
- False beliefs in unreliable knowledge networks
- Impossible and conflicting obligations in justification logic
- Providing personalized explanations: a conversational approach
- Countering Justification Holism in the Epistemology of Logic: The Argument from Pre-Theoretic Universality
- Possibilistic justification logic: reasoning about justified uncertain beliefs
- Reasoning about justified belief based on the fusion of evidence
- Communication policies in knowledge networks
- Explicit non-normal modal logic
- Common law precedent and the logic of reasons
- Justification Logics with Probability Operators
- A logic of interactive proofs
- Labeled sequent calculus for justification logics
- Conservativity for logics of justified belief: two approaches
- Relevant justification logic
- An awareness epistemic framework for belief, argumentation and their dynamics
- Belief expansion in subset models
- The sharpness property of justification logic
- Title not available (Why is that?)
- A notion of \(C\)-justification for empirical statements
- Conservativity for Logics of Justified Belief
- Explicit generic common knowledge
- On non-self-referential fragments of modal logics
- On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs
- Justification logic with confidence
- Conditional obligations in justification logic
- Justification awareness models
- Decidability for justification logics revisited
- A formal theory of justifications
- The logic of epistemic justification
- Editorial Reasons, argumentation and justification: DEON 2016 special issue
This page was built for publication: The ontology of justifications in the logical setting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q454364)
