Positive Monotone Modal Logic |
| |
Authors: | de Groot Jim |
| |
Institution: | 1.College of Engineering and Computer Science, The Australian National Universtiy, Canberra, ACT, 0200, Australia ; |
| |
Abstract: | Studia Logica - Positive monotone modal logic is the negation- and implication-free fragment of monotone modal logic, i.e., the fragment with connectives and . We axiomatise positive monotone modal... |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|