Semantic Characterizations of AGM Revision for Tarskian Logics

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald

Journal title: Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS

Journal publisher: SpringerLink

Published year: 2022

DOI identifier: 10.1007/978-3-031-21541-4_7