Mathematics
Some proof systems for predicate common knowledge logic
Y. Tanaka
Abstract
Abstract is not available.
Citation format
TANAKA, Y. Some proof systems for predicate common knowledge logic. Reports on Mathematical Logic, 2003: 79–100.
Y. Tanaka
Abstract is not available.
TANAKA, Y. Some proof systems for predicate common knowledge logic. Reports on Mathematical Logic, 2003: 79–100.