conftrace_

modal logic s5

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

revision operation (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