Inproceedings,

Semantic Characterizations of AGM Revision for Tarskian Logics.

, , and .
RuleML+RR, volume 13752 of Lecture Notes in Computer Science, page 95-110. Springer, (2022)

Meta data

Tags

Users

  • @dblp

Comments and Reviews