Semantic Characterizations of AGM Revision for Tarskian Logics
F. Falakh, S. Rudolph, und K. Sauerwald. Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), Volume 13752 von LNCS, Seite 95--110. Springer, (September 2022)
DOI: 10.1007/978-3-031-21541-4_7