Πρωτότυπος Τίτλος:
Complexity of products of modal logics
Γλώσσες Τεκμηρίου:
Αγγλικά
Δημιουργός:
Maarten, Marx
Περίληψη:
Δεν υπάρχει περίληψη
Κύρια θεματική κατηγορία:
Λογική
Λοιπές θεματικές κατηγορίες:
Πληροφορική
Λέξεις-κλειδιά:
modal logics, craig interpolation
Σελίδες (από-έως):
187-192
Σημειώσεις:
Περιλαμβάνει περίληψη και βιβλιογραφικές αναφορές