scientific article; zbMATH DE number 6302917

zbMath1301.03021MaRDI QIDQ5419893

Thomas Studer, Roman Kuznets

Publication date: 11 June 2014

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

zbMATH Keywords

extensions of system J of justification logicfitting models for justification logicslogics of justification and beliefmodular semantics for justification logics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (12)

Probabilistic Justification Logic ⋮ Modal logics, justification logics, and realization ⋮ Explicit non-normal modal logic ⋮ A logic of interactive proofs ⋮ Labeled sequent calculus for justification logics ⋮ Conditional obligations in justification logic ⋮ Providing personalized explanations: a conversational approach ⋮ A logic of knowing why ⋮ The Proof Theory of Common Knowledge ⋮ On non-self-referential fragments of modal logics ⋮ The complexity of satisfiability in non-iterated and iterated probabilistic logics ⋮ Justification Logics with Probability Operators

This page was built for publication: