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

Akademische Arbeit , 2019 , 20 Seiten , Note: Msc

Informatik - Sonstiges

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.

• Hochschule: University of the Witwatersrand (University)
• Veranstaltung: Symbolic Logics
• Note: Msc
• Autor: Mike Nkongolo et al. (Autor:in)
• Erscheinungsjahr: 2019
• Seiten: 20
• Katalognummer: V458120
• ISBN (eBook): 9783668876743
• ISBN (Buch): 9783668876750
• Sprache: Französisch
• Schlagworte: Wits