On the finite model property of intuitionistic modal logics over MIPC

Takahito Aoto; Hiroyuki Shirasu

doi:10.1002/malq.19990450402

On the finite model property of intuitionistic modal logics over MIPC

Takahito Aoto, Hiroyuki Shirasu

Systems & Software Division

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	435-448
Number of pages	14
Journal	Mathematical Logic Quarterly
Volume	45
Issue number	4
DOIs	https://doi.org/10.1002/malq.19990450402
Publication status	Published - 1999 Jan 1

Keywords

Decidability
Finite model property
Intuitionistic modal logic
Kripke frame

ASJC Scopus subject areas

Logic

Access to Document

10.1002/malq.19990450402

Cite this

@article{1e8b3a38d0d7431f9000cf7ee5b60d64,

title = "On the finite model property of intuitionistic modal logics over MIPC",

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.",

keywords = "Decidability, Finite model property, Intuitionistic modal logic, Kripke frame",

author = "Takahito Aoto and Hiroyuki Shirasu",

year = "1999",

month = jan,

day = "1",

doi = "10.1002/malq.19990450402",

language = "English",

volume = "45",

pages = "435--448",

journal = "Mathematical Logic Quarterly",

issn = "0942-5616",

publisher = "Wiley-VCH Verlag",

number = "4",

}

TY - JOUR

T1 - On the finite model property of intuitionistic modal logics over MIPC

AU - Aoto, Takahito

AU - Shirasu, Hiroyuki

PY - 1999/1/1

Y1 - 1999/1/1

N2 - 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.

AB - 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.

KW - Decidability

KW - Finite model property

KW - Intuitionistic modal logic

KW - Kripke frame

UR - http://www.scopus.com/inward/record.url?scp=0033454543&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0033454543&partnerID=8YFLogxK

U2 - 10.1002/malq.19990450402

DO - 10.1002/malq.19990450402

M3 - Article

AN - SCOPUS:0033454543

SN - 0942-5616

VL - 45

SP - 435

EP - 448

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 4

ER -

On the finite model property of intuitionistic modal logics over MIPC

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this