Back to Search
Start Over
The global properties of valid formulus in modal logic K.
- Source :
- Proceedings of Third Australian & New Zealand Conference on Intelligent Information Systems ANZIIS-95; 1995, p123-127, 5p
- Publication Year :
- 1995
Details
- Language :
- English
- ISBNs :
- 9780864224309
- Database :
- Complementary Index
- Journal :
- Proceedings of Third Australian & New Zealand Conference on Intelligent Information Systems ANZIIS-95
- Publication Type :
- Conference
- Accession number :
- 92329711
- Full Text :
- https://doi.org/10.1109/ANZIIS.1995.705726