Simplified Tableaux for STIT Imagination Logic › Research Explorer

Simplified Tableaux for STIT Imagination Logic

Research output: Contribution to journal › Article › peer-review

DOI

https://doi.org/10.1007/s10992-019-09503-1
Final published version

Grigory K. Olkhovikov
Heinrich Wansing

Original language	English
Pages (from-to)	981-1001
Number of pages	21
Journal	Journal of Philosophical Logic
Volume	48
Issue number	6
DOIs	https://doi.org/10.1007/s10992-019-09503-1
Publication status	Published - 1 Dec 2019

Research areas

Canonical models, Logic of imagination, STIT logic, Tableaux

ASJC Scopus subject areas

Philosophy

WoS ResearchAreas Categories

Logic
Philosophy

ID: 11343467