|
|||||
|
|
A Labelled Natural Deduction System for Linear Temporal Logic |
|
| Authors: | Andrzej Indrzejczak |
| Affiliation: | (1) Department of Logic, University of Lód!["zacute"]("/content/j875621706763474/xlarge378.gif") , Kopcinskiego 16/18, 90-232 Lód, Poland |
| Abstract: | |
| Keywords: | Temporal Logic Natural Deduction Linear Time |
| 本文献已被 SpringerLink 等数据库收录！ | |