@scadsfct

Semantic Characterizations of AGM Revision for Tarskian Logics

, , and . Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, page 95--110. Springer, (September 2022)
DOI: 10.1007/978-3-031-21541-4_7

Links and resources

Tags