Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions

Rybakov, Vladimir V. (2006) Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions. [Conference or Workshop Item]

File not available for download.

Item Type:	Conference or Workshop Item
Peer-reviewed:	No
Date Deposited:	09 Apr 2010 13:34
Publisher:	World Scientific Publishing
Divisions:
URI:	https://e-space.mmu.ac.uk/id/eprint/96177

Impact and Reach

Statistics

DownloadsShow export options

Activity Overview

6 month trend

0Downloads

6 month trend

320Hits

Additional statistics for this dataset are available via IRStats2.

Altmetric

Repository staff only

Edit record