Artikel in einem Konferenzbericht,

Semantic Characterizations of AGM Revision for Tarskian Logics

, , und .
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

Metadaten

Tags

Nutzer

  • @scadsfct

Kommentare und Rezensionen