Year: 2015
Type: preprint
Abstract: 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.
Source: arXiv (Cornell University)
Author: Olkhovikov, Grigory K.
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W821175654