Infinitary Calculus without Loop Rules for Restricted Sequents of the First-Order Linear Temporal Logic

Author: Pliuškevi   SRC="/iso-ents/isolat2/ccaron-s.gif" ALT="ccaron" R.  

Publisher: Springer Publishing Company

ISSN: 0363-1672

Source: Lithuanian Mathematical Journal, Vol.40, Iss.4, 2000-10, pp. : 379-388

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract