2025/02/20 by Giacomo Bonanno, Bonanno, Giacomo
Chemistry · Computer Science · Mathematics · Medicine · #03 #68 #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Axiom #Bayesian Modeling and Causal Inference #Belief revision #Calculus (dental) #Chemistry #Computer science #Epistemology #FOS: Computer and information sciences #Geometry #Linguistics #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Mathematical economics #Mathematics #Medicine #Modal #Modal logic #Normal modal logic #Philosophy #Translation (biology)
paper · pdf · doi:10.48550/arxiv.2502.14176
openalex publication_date 2025/02/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/05
Building on the analysis of Bonanno (Artificial Intelligence, 2025) we introduce a simple modal logic containing three modal operators: a unimodal belief operator, a bimodal conditional operator and the unimodal global operator. For each AGM axiom for belief revision, we provide a corresponding modal axiom. The correspondence is as follows: each AGM axiom is characterized by a property of the Kripke-Lewis frames considered in Bonanno (Artificial Intelligence, 2025) and, in turn, that property characterizes the proposed modal axiom.