海量图书期刊资源,随时随地畅享阅读乐趣
Quantifiers and Modal Operatorsby E. J. LemmonReview by: Arnould Bayart · The Journal of Symbolic Logic · 1966
A Completeness Theorem in Modal Logicby Saul A. KripkeReview by: Arnould Bayart · The Journal of Symbolic Logic · 1966
The Undecidability of Monadic Modal Quantification Theoryby Saul A. KripkeReview by: Arnould Bayart · The Journal of Symbolic Logic · 1966