Inproceedings,

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

Meta data

Tags

Users

  • @scadsfct

Comments and Reviews