2018/12/23 by Taishi Kurahashi, Kurahashi, Taishi
Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.1812.09735
openalex publication_date 2018/12/23 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper, we investigate Rosser provability predicates whose provability logics are normal modal logics. First, we prove that there exists a Rosser provability predicate whose provability logic is exactly the normal modal logic \sf KD. Secondly, we introduce a new normal modal logic \sf KDR which is a proper extension of \sf KD, and prove that there exists a Rosser provability predicate whose provability logic includes \sf KDR.