A completeness result for the implicit justification STIT logic

Research output: Contribution to journalReview article

1 Citation (Scopus)
Original languageEnglish
Pages (from-to)341-406
Number of pages66
JournalLogique et Analyse
Volume243
DOIs
Publication statusPublished - 1 Jan 2018

Keywords

  • Compactness
  • Completeness
  • Epistemic logic
  • Justification logic
  • Stit logic

ASJC Scopus subject areas

  • Philosophy

WoS ResearchAreas Categories

  • Logic
  • Philosophy

Fingerprint Dive into the research topics of 'A completeness result for the implicit justification STIT logic'. Together they form a unique fingerprint.

Cite this