arXiv Open Access 2015

An axiomatic system for STIT imagination logic

Grigory K. Olkhovikov

Lihat Sumber

Abstrak

We formulate a Hilbert-style axiomatic system for STIT logic of imagination recently proposed by H. Wansing and prove its completeness by the method of canonical models.

Topik & Kata Kunci

math.LO

Penulis (1)

Grigory K. Olkhovikov

Format Sitasi

APA MLA BibTeX

Olkhovikov, G.K. (2015). An axiomatic system for STIT imagination logic. https://arxiv.org/abs/1504.02743

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2015
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓