|
|||||
|
|
A Modal Logic for Quantification and Substitution |
|
| Authors: | VENEMA YDE |
| Affiliation: | Faculteit Wiskunde en Informatica, Vrije Universiteit Postbus 7161, Amsterdam, The Netherlands and Centrum voor Wiskunde en Informatica Postbus 4O79, Amsterdam, The Netherlands E-mail: yde{at}cwi.nl |
| Abstract: | |
| Keywords: | algebraic logic modal logic logic with finitely many variables completeness derivation rules |
| 本文献已被 Oxford 等数据库收录！ | |