A theory of hypermodal eogics: Mode shifting in modae eogic

D. M. Gabbay

doi:10.1023/a:1015782031903

A theory of hypermodal eogics: Mode shifting in modae eogic

D. M. Gabbay

King's College London

Research output: Contribution to journal › Article › peer-review

12 Scopus citations

Abstract

A hypermodality is a connective D whose meaning depends on where in the formula it occurs. The paper motivates the notion and shows that hypermodal logics are much more expressive than traditional modal logics. In fact we show that logics with very simple K hypermodalities are not complete for any neighbourhood frames.

Original language	English
Pages (from-to)	211-243
Number of pages	33
Journal	Journal of Philosophical Logic
Volume	31
Issue number	3
DOIs	https://doi.org/10.1023/a:1015782031903
State	Published - 2002
Externally published	Yes

Keywords

Combining logic
Frame completeness
Hypermodality
Modal logic

Access to Document

10.1023/a:1015782031903

Cite this

@article{8693e4b0179d4713b89498739e0ec2b4,

title = "A theory of hypermodal eogics: Mode shifting in modae eogic",

abstract = "A hypermodality is a connective D whose meaning depends on where in the formula it occurs. The paper motivates the notion and shows that hypermodal logics are much more expressive than traditional modal logics. In fact we show that logics with very simple K hypermodalities are not complete for any neighbourhood frames.",

keywords = "Combining logic, Frame completeness, Hypermodality, Modal logic",

author = "Gabbay, {D. M.}",

year = "2002",

doi = "10.1023/a:1015782031903",

language = "אנגלית",

volume = "31",

pages = "211--243",

journal = "Journal of Philosophical Logic",

issn = "0022-3611",

publisher = "Springer Netherlands",

number = "3",

}

TY - JOUR

T1 - A theory of hypermodal eogics

T2 - Mode shifting in modae eogic

AU - Gabbay, D. M.

PY - 2002

Y1 - 2002

N2 - A hypermodality is a connective D whose meaning depends on where in the formula it occurs. The paper motivates the notion and shows that hypermodal logics are much more expressive than traditional modal logics. In fact we show that logics with very simple K hypermodalities are not complete for any neighbourhood frames.

AB - A hypermodality is a connective D whose meaning depends on where in the formula it occurs. The paper motivates the notion and shows that hypermodal logics are much more expressive than traditional modal logics. In fact we show that logics with very simple K hypermodalities are not complete for any neighbourhood frames.

KW - Combining logic

KW - Frame completeness

KW - Hypermodality

KW - Modal logic

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

U2 - 10.1023/a:1015782031903

DO - 10.1023/a:1015782031903

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:36849057490

SN - 0022-3611

VL - 31

SP - 211

EP - 243

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

IS - 3

ER -

A theory of hypermodal eogics: Mode shifting in modae eogic

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this