| Authors |
|
| Publication date |
2019
|
| Host editors |
-
A. Silva
-
S. Staton
-
P. Sutton
-
C. Umbach
|
| Book title |
Language, Logic, and Computation
|
| Book subtitle |
12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers
|
| ISBN |
|
| ISBN (electronic) |
|
| Series |
Lecture Notes in Computer Science
|
| Event |
12th Tbilisi Symposium on Language, Logic and Computation
|
| Pages (from-to) |
64-85
|
| Publisher |
Berlin: Springer
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
This investigation is concerned with weak subintuitionistic logics interpreted over neighborhood models introduced by the authors in 2016. The two types of neighborhood semantics introduced in that article are compared and their relationship is clarified. Thereby modal companions for various logics are recognized. Specifically, a logic is found which has basic monotonic logic with necessitation as its modal companion. Many of the extensions of the basic logics are discussed and characterized.
|
| Document type |
Conference contribution
|
| Language |
English
|
| Published at |
https://doi.org/10.1007/978-3-662-59565-7_4
|
|
Permalink to this page
|