Simplified Tableaux for STIT Imagination Logic

Grigory K. Olkhovikov, Heinrich Wansing

Research output: Contribution to journalArticle

1 Citation (Scopus)
Original languageEnglish
Pages (from-to)981-1001
Number of pages21
JournalJournal of Philosophical Logic
Volume48
Issue number6
DOIs
Publication statusPublished - 1 Dec 2019

Keywords

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

ASJC Scopus subject areas

  • Philosophy

WoS ResearchAreas Categories

  • Logic
  • Philosophy

Fingerprint Dive into the research topics of 'Simplified Tableaux for STIT Imagination Logic'. Together they form a unique fingerprint.

Cite this