Subset models for justification logic
From MaRDI portal
Publication:2303608
DOI10.1007/978-3-662-59533-6_26OpenAlexW2963033713MaRDI QIDQ2303608
Thomas Studer, Eveline Lehmann
Publication date: 4 March 2020
Full work available at URL: https://arxiv.org/abs/1902.02707
Related Items (8)
Explicit non-normal modal logic ⋮ Soundness and completeness results for LEA and probability semantics ⋮ Semirings of Evidence ⋮ On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs ⋮ Conditional obligations in justification logic ⋮ Modal and justification logics for multi-agent systems (invited talk) ⋮ Providing personalized explanations: a conversational approach ⋮ Justification Logics with Probability Operators
This page was built for publication: Subset models for justification logic
