scientific article; zbMATH DE number 1114348

zbMath0887.03012MaRDI QIDQ4376067

Alexey Mkrtychev

Publication date: 17 May 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modelsdecidabilitycompleteness theoremoperational logic of proofs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items (51)

Possibilistic Justification Logic ⋮ Probabilistic Justification Logic ⋮ Modal logics, justification logics, and realization ⋮ On arithmetical completeness of the logic of proofs ⋮ Justifications for common knowledge ⋮ Simple Evidence Elimination in Justification Logic ⋮ Labeled sequent calculus for justification logics ⋮ NEXP-Completeness and Universal Hardness Results for Justification Logic ⋮ Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete ⋮ Multi-agent justification logic: communication and evidence elimination ⋮ Prehistoric graph in modal derivations and self-referentiality ⋮ Possible world semantics for first-order logic of proofs ⋮ The logic of uncertain justifications ⋮ Self-referentiality of Brouwer-Heyting-Kolmogorov semantics ⋮ A Logic of Knowledge and Belief Based on Abstract Arguments ⋮ Topological Semantics of Justification Logic ⋮ S4LP and Local Realizability ⋮ Conservativity for logics of justified belief: two approaches ⋮ Lower complexity bounds in justification logic ⋮ Prefixed tableaus and nested sequents ⋮ On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs ⋮ A note on strong axiomatization of Gödel justification logic ⋮ Justification logic with confidence ⋮ From the knowability paradox to the existence of proofs ⋮ Justification logics and hybrid logics ⋮ A modal provability logic of explicit and implicit proofs ⋮ The Logic of Justification ⋮ The ontology of justifications in the logical setting ⋮ Interacting explicit evidence systems ⋮ A complexity question in justification logic ⋮ Logic of proofs with substitution ⋮ On non-self-referential fragments of modal logics ⋮ A quantified logic of evidence ⋮ Distributed knowledge justification logics ⋮ THE LOGIC OF JUSTIFICATION ⋮ Tracking Evidence ⋮ The logic of proofs, semantically ⋮ Justified common knowledge ⋮ Making knowledge explicit: how hard it is ⋮ On the complexity of the reflected logic of proofs ⋮ Self-referential justifications in epistemic logic ⋮ Reasoning with Justifications ⋮ The complexity of satisfiability in non-iterated and iterated probabilistic logics ⋮ Conservativity for Logics of Justified Belief ⋮ Symmetric Logic of Proofs ⋮ Propositional games with explicit strategies ⋮ The Minimal System of Justification Logic with Names ⋮ Justification logics, logics of knowledge, and conservativity ⋮ Structured argumentation dynamics. Undermining attacks in default justification logic ⋮ An analytic calculus for the intuitionistic logic of proofs ⋮ Justification Logics with Probability Operators

This page was built for publication: