Minimal Systems of Temporal Logic
The article discusses minimal temporal logic systems built on the basis of classical logic as well as intuitionistic logic. The constructions of these systems are discussed as well as their basic properties. The <inline-formula> <math display="inline"> <semantics> <msub> <mi mathvariant="bold">K</mi...
שמור ב:
| מחבר ראשי: | |
|---|---|
| פורמט: | Artigo |
| שפה: | Inglês |
| יצא לאור: |
MDPI AG
2020-06-01
|
| סדרה: | Axioms |
| נושאים: | |
| גישה מקוונת: | https://www.mdpi.com/2075-1680/9/2/67 |
| תגים: |
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|