Sémantique de type Kripke d'un système logique basé sur un ensemble ordonné fini

✍ Scribed by Abir Nour

• Publisher: John Wiley and Sons
• Year: 2000
• Tongue: English
• Weight: 235 KB
• Volume: 46
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/1521-3870(200008)46:3<417::aid-malq417>3.0.co;2-t