An ascending chain of S4 logics

By Kit Fine. 2008

58 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/d64db825c2ca1126f2b8437f0f4287cbd0b3bd5b