arXiv
Open Access
2021
Neighbourhood completeness for quantified pretransitive modal logics
Andrey Kudinov
Abstrak
We consider quantified pretransitive Horn modal logic. It is known that such logics are complete with respect to predicate Kripke frames with expanding domains. In this paper we prove that they are also complete with respect to neighbourhood frames with constant domains.
Topik & Kata Kunci
Penulis (1)
A
Andrey Kudinov
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2021
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓