Models for the logic of proofs
From MaRDI portal
Recommendations
Cited in
(63)- Justification logics, logics of knowledge, and conservativity
- Craig interpolation property for operational logics of proofs
- On arithmetical completeness of the logic of proofs
- Prehistoric graph in modal derivations and self-referentiality
- Use of logical models for proving infeasibility in term rewriting
- The complexity of satisfiability in non-iterated and iterated probabilistic logics
- Structured argumentation dynamics. Undermining attacks in default justification logic
- A note on strong axiomatization of Gödel justification logic
- Justification logic with confidence
- Distributed knowledge justification logics
- A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski
- An analytic calculus for the intuitionistic logic of proofs
- A complexity question in justification logic
- A quantified logic of evidence
- Justified common knowledge
- Making knowledge explicit: how hard it is
- On the complexity of the reflected logic of proofs
- Modal logics, justification logics, and realization
- Justifications for common knowledge
- Simple evidence elimination in justification logic
- The Logic of Justification
- On symbolic models for single-conclusion logic of proofs
- NEXP-completeness and universal hardness results for justification logic
- Labeled sequent calculus for justification logics
- Topological Semantics of Justification Logic
- S4LP and Local Realizability
- The logic of justification
- Tracking evidence
- Reasoning with Justifications
- Conservativity for Logics of Justified Belief
- Operations on proofs and labels
- Multi-agent justification logic: communication and evidence elimination
- Possible world semantics for first-order logic of proofs
- The logic of uncertain justifications
- Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
- Conservativity for logics of justified belief: two approaches
- Lower complexity bounds in justification logic
- Prefixed tableaus and nested sequents
- A proof-irrelevant model of Martin-Löf's logical framework
- The ontology of justifications in the logical setting
- Proofs and Models in Philosophical Logic
- Justification Logics with Probability Operators
- On non-self-referential fragments of modal logics
- A Logic of Knowledge and Belief Based on Abstract Arguments
- scientific article; zbMATH DE number 7204319 (Why is no real title available?)
- The Minimal System of Justification Logic with Names
- Possibilistic justification logic: reasoning about justified uncertain beliefs
- Probabilistic justification logic
- Minimal models and the complexity of fragments of the logic of proofs
- Symmetric Logic of Proofs
- On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs
- From the knowability paradox to the existence of proofs
- Justification logics and hybrid logics
- A modal provability logic of explicit and implicit proofs
- Normalization of terms in sharp models of logic of proofs LP
- Tableaux and interpolation for propositional justification logics
- Justification logic for intuitionistic modal logic
- The logic of proofs, semantically
- Propositional games with explicit strategies
- Derivability in certain subsystems of the logic of proofs is _2p-complete
- Interacting explicit evidence systems
- Logic of proofs with substitution
- Self-referential justifications in epistemic logic
This page was built for publication: Models for the logic of proofs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4376067)
