Une expressivité sémantique de la complexité d'alternance logique avec des variables continues

Academic Paper , 2019 , 20 Pages , Grade: Msc

Computer Science - Miscellaneous

Nous montrons que les logiques temporelles de temps de branchement, ainsi que les logiques temporelles a temps alternatif, sont expressif dans la langue avec une seule variable propositionnelle ou avec une offre limite de variables.

• College: University of the Witwatersrand (University)
• Course: Symbolic Logics
• Grade: Msc
• Author: Mike Nkongolo et al. (Author)
• Publication Year: 2019
• Pages: 20
• Catalog Number: V458120
• ISBN (eBook): 9783668876743
• ISBN (Book): 9783668876750
• Language: French
• Tags: Wits