2000 character limit reached
A Logic for Veracity (2302.06164v4)
Published 13 Feb 2023 in cs.LO, cs.SE, and cs.SI
Abstract: This paper shows the initial stages of development, from first principles, of a formal logic to characterise and then explore issues in a broadly defined idea of Veracity, which includes properties of demonstrability, truth, trust and authenticity.
- Trust evidence logic. In Jiřina Vejnarová and Nic Wilson, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, pages 575–589, Cham, 2021. Springer International Publishing.
- Multi-valued model checking a smart glucose monitoring system with trust. In 2023 International Wireless Communications and Mobile Computing (IWCMC), pages 1697–1702, 2023.
- Natural deduction and semantic models of justification logic in the proof assistant coq. Logic journal of the IGPL, 28(6):1077–1092, 2020.
- Justification Logic: Reasoning with Reasons. Cambridge University Press, 2019.
- Constructive Mathematics in Theory and Programming Practice. Philosophia Mathematica, 7(1):65–104, 1999.
- Michael Dummett. Elements of Intuitionism. Clarendon Press, second edition edition, 2000.
- Asta Halkær From. Formalized soundness and completeness of epistemic logic. In WoLLIC, 2021.
- Valentin Goranko. How deonic logic ought to be: towards a many-sorted framework for normative reasoning. In DEON, 2021.
- Reasoning about belief, evidence and trust in a multi-agent setting. In International Conference on Principles and Practice of Multi-Agent Systems, 2017.
- P. Martin-Löf. Intuitionistic Type Theory. Bibliopolis, Naples, 1984.
- P. Martin-Löf. Constructive Mathematics and Computer Programming. In C.A.R. Hoare and J.C. Shepherdson, editors, Mathematical Logic and Programming Languages. Prentice Hall International, Englewood Cliffs, N.J., 1985.
- Per Martin-Löf. Truth of a proposition, evidence of a judgement, validity of a proof. Synthese, 73(3):407–420, 1987.
- Formalized proof systems for propositional logic. In TYPES, 2017.
- Stanford Uni Philosophy. Nonmonotonic logic. https://plato.stanford.edu/entries/logic-nonmonotonic/.
- Bryan Renne. Multi-agent justification logic: communication and evidence elimination. Synthese, 2012.
- Daniel Rönnedal. Doxastic logic: a new approach. Journal of Applied Non-Classical Logics, 2018.
- From belief to trust: A quantitative framework based on modal logic. Journal of Logic and Computation, 2022.
- Evidence logic: A new look at neighborhood structures. 2012.
- Evidence and plausibility in neighborhood structures. Annals of pure and applied logic, 165(1):106–133, 2014.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.