|
Syntactic concept lattice models for infinitary action logic
Stepan L. Kuznetsovab a Steklov Mathematical Institute of RAS, 8 Gubkina Street, Moscow, Russia
b HSE University, 11 Pokrovsky Blvd., Moscow, Russia
Linking options:
https://www.mathnet.ru/eng/lncs52
|
Statistics & downloads: |
Abstract page: | 7 |
|