An Axiomatic System and a Tableau Calculus for STIT Imagination Logic

Grigory K. Olkhovikov, Heinrich Wansing

Research output: Contribution to journalArticle

6 Citations (Scopus)
Original languageEnglish
Pages (from-to)259-279
Number of pages21
JournalJournal of Philosophical Logic
Volume47
Issue number2
DOIs
Publication statusPublished - 1 Apr 2018

Keywords

  • Axiomatization
  • Canonical models
  • Completeness
  • Logic of imagination
  • STIT logic
  • Tableaux

ASJC Scopus subject areas

  • Philosophy

WoS ResearchAreas Categories

  • Logic
  • Philosophy

Fingerprint Dive into the research topics of 'An Axiomatic System and a Tableau Calculus for STIT Imagination Logic'. Together they form a unique fingerprint.

Cite this