Extends knowing-value logic with successor arithmetic and equality; proves finite model property and completeness (strong for non-standard models, weak for standard); applies to consecutive numbers puzzle via public announcements.
In: Proceedings of IJCAI 13 , pp
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Knowing-Value Logic with Successor Arithmetic
Extends knowing-value logic with successor arithmetic and equality; proves finite model property and completeness (strong for non-standard models, weak for standard); applies to consecutive numbers puzzle via public announcements.