On the finite model property of intuitionistic modal logics over MIPC

Takahito Aoto, Hiroyuki Shirasu

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)

Abstract

MIPC is a well-known intuitionistic modal logic of Prior (1957) and Bull (1966). It is shown that every normal intuitionistic modal logic L over MIPC has the finite model property whenever L is Kripke-complete and universal.

Original languageEnglish
Pages (from-to)435-448
Number of pages14
JournalMathematical Logic Quarterly
Volume45
Issue number4
DOIs
Publication statusPublished - 1999 Jan 1

Keywords

  • Decidability
  • Finite model property
  • Intuitionistic modal logic
  • Kripke frame

ASJC Scopus subject areas

  • Logic

Fingerprint Dive into the research topics of 'On the finite model property of intuitionistic modal logics over MIPC'. Together they form a unique fingerprint.

Cite this