Publications

Faiq Miftakhul Falakh, Sebastian Rudolph, and Kai Sauerwald. Semantic Characterizations of AGM Revision for Tarskian Logics. In Guido Governatori, and Anni-Yasmin Turhan (Eds.), Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), (13752):95--110, Springer, September 2022. [PUMA: imported]