An Axiomatic System and a Tableau Calculus for STIT Imagination Logic

Grigory K. Olkhovikov, Heinrich Wansing

Результат исследований: Вклад в журналСтатья

6 Цитирования (Scopus)
Язык оригиналаАнглийский
Страницы (с-по)259-279
Число страниц21
ЖурналJournal of Philosophical Logic
Том47
Номер выпуска2
DOI
СостояниеОпубликовано - 1 апр 2018

Предметные области ASJC Scopus

  • Philosophy

Предметные области WoS

  • Логика
  • Философия

Fingerprint Подробные сведения о темах исследования «An Axiomatic System and a Tableau Calculus for STIT Imagination Logic». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать