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 |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|