Possibilistic Justification Logic

DOI10.1145/3091118zbMath1407.03023OpenAlexW2621139739MaRDI QIDQ5278213

Tuan-Fang Fan, Che-Ping Su, Churn-Jung Liau

Publication date: 13 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3091118

zbMATH Keywords

modal logicpossibilistic logicjustification logicrealization theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items (2)

Justification logic with confidence ⋮ Justification Logics with Probability Operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of uncertain justifications
• Realization for justification logics via nested sequents: modularity through embedding
• The ontology of justifications in the logical setting
• The logic of proofs, semantically
• Fuzzy sets as a basis for a theory of possibility
• Proof methods for reasoning about possibility and necessity
• Possibilistic reasoning -- a mini-survey and uniform semantics
• A modal account of similarity-based reasoning
• Distributed knowledge justification logics
• Fuzzy sets in approximate reasoning. II: Logical approaches
• Explicit Provability and Constructive Semantics
• Realization using the model existence theorem
• Epistemology Without Knowledge and Without Belief
• Introducing Justification into Epistemic Logic
• THE LOGIC OF JUSTIFICATION
• Probabilistic Justification Logic

This page was built for publication: Possibilistic Justification Logic