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

@article{9fa33753c50449c5892c3b9fdefafa20,
title = "Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility",
keywords = "Intermediate logics, Admissible rules, Finite model property, Projective Heyting algebras",
author = "Goudsmit, {Jeroen P.}",
year = "2016",
month = "12",
doi = "10.1007/s11225-016-9672-1",
language = "English",
volume = "104",
pages = "1191--1204",
journal = "Studia logica",
issn = "0039-3215",
publisher = "Springer Netherlands",
number = "6",

}

Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility. / Goudsmit, Jeroen P.

In: Studia logica, Vol. 104, No. 6, 12.2016, p. 1191-1204.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

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

AU - Goudsmit, Jeroen P.

PY - 2016/12

Y1 - 2016/12

KW - Intermediate logics

KW - Admissible rules

KW - Finite model property

KW - Projective Heyting algebras

U2 - 10.1007/s11225-016-9672-1

DO - 10.1007/s11225-016-9672-1

M3 - Article

VL - 104

SP - 1191

EP - 1204

JO - Studia logica

JF - Studia logica

SN - 0039-3215

IS - 6

ER -