conftrace_

ag postulate

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

modal logic s5 (1) revision operation (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