Publications

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