arXiv:2605. 02249v2 Announce Type: replace Abstract: We investigate the belief revision problem in epistemic planning, i.
By Michael Thielscher, Tran Cao Son
arXiv:2607. 09748v1 Announce Type: new Abstract: In distributed systems, the classical State Machine Replication (SMR) model assumes that correct replicas execute deterministic transitions to yield identical bitwise states.
By Jun He, Deying Yu
arXiv:2606. 31861v1 Announce Type: cross Abstract: Dynamic epistemic logic represents belief change via model transformations induced by epistemic events.
By Gaia Belardinelli (Stanford University), Snow Zhang (University of Berkeley, California)
arXiv:2607. 21203v1 Announce Type: new Abstract: Description logic programs are a powerful formalism for combining rules with ontologies.
By Spencer Killen, Jia-Huai You
arXiv:2606. 31892v1 Announce Type: cross Abstract: "Any fool can know; the point is to understand.
By Yu Wei (Department of Philosophy, East China Normal University)
arXiv:2606. 02163v1 Announce Type: new Abstract: This article proposes a set-theoretic framework for belief change, called Abstract Worlds Semantics, in which no logical syntax is assumed.
By Daniel Grimaldi, M. Vanina Martinez, Ricardo O. Rodriguez