conftrace_

revision operation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

modal logic s5 (1) ag postulate (1) strict implication (1) minimal change (1) agm postulate (1) modal logic (1) belief revision (1)

Papers

Minimal Change in Modal Logic S5 AAAI 2025