conftrace_

strict implication

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Minimal Change in Modal Logic S5 AAAI 2025