The ontology of justifications in the logical setting
From MaRDI portal
(Redirected from Publication:454364)
Recommendations
Cites work
- scientific article; zbMATH DE number 1114348 (Why is no real title available?)
- A quantified logic of evidence
- Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
- Explicit provability and constructive semantics
- From the knowability paradox to the existence of proofs
- Interacting explicit evidence systems
- Introducing Justification into Epistemic Logic
- Justified common knowledge
- Making knowledge explicit: how hard it is
- Modal Logics of Negotiation and Preference
- On Realization of -modality by Evidence Terms
- On the complexity of the reflected logic of proofs
- Realizations and LP
- The logic of justification
- The logic of proofs, semantically
Cited in
(45)- J-Calc: a typed lambda calculus for intuitionistic justification logic
- The logic of justified belief, explicit knowledge, and conclusive evidence
- Possibilistic justification logic: reasoning about justified uncertain beliefs
- Justification awareness models
- On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs
- First-order justification logic with constant domain semantics
- Modal logics, justification logics, and realization
- Justifications, Awareness and Epistemic Dynamics
- Introducing Justification into Epistemic Logic
- The logic of epistemic justification
- Belief expansion in subset models
- Justification logic with confidence
- The sharpness property of justification logic
- scientific article; zbMATH DE number 1778902 (Why is no real title available?)
- Exploring subset models for justification logic
- Natural deduction and semantic models of justification logic in the proof assistant \textsc{Coq}
- Common law precedent and the logic of reasons
- False beliefs in unreliable knowledge networks
- Conservativity for logics of justified belief: two approaches
- Providing personalized explanations: a conversational approach
- Prehistoric graph in modal derivations and self-referentiality
- Countering Justification Holism in the Epistemology of Logic: The Argument from Pre-Theoretic Universality
- Conservativity for Logics of Justified Belief
- Relevant justification logic
- Logic of implicit and explicit justifiers
- scientific article; zbMATH DE number 6302917 (Why is no real title available?)
- A notion of \(C\)-justification for empirical statements
- Reasoning about justified belief based on the fusion of evidence
- Editorial Reasons, argumentation and justification: DEON 2016 special issue
- An awareness epistemic framework for belief, argumentation and their dynamics
- Inference as doxastic agency. II: Ramifications and refinements
- Decidability for justification logics revisited
- A formal theory of justifications
- Update as evidence: belief expansion
- Justification Logics with Probability Operators
- Labeled sequent calculus for justification logics
- Explicit generic common knowledge
- On non-self-referential fragments of modal logics
- Communication policies in knowledge networks
- Explicit non-normal modal logic
- Conditional obligations in justification logic
- Probabilistic justification logic
- On Nested Justification Systems
- A logic of interactive proofs
- Impossible and conflicting obligations in justification logic
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)
