Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)1191-1204
JournalStudia logica
Volume104
Issue number6
DOIs
Publication statusPublished - Dec 2016

Keywords

  • Intermediate logics
  • Admissible rules
  • Finite model property
  • Projective Heyting algebras

Cite this