Propositional quantifiers in labelled natural deduction for normal modal logic

M Pascucci

doi:10.1093/jigpal/jzz008

Propositional quantifiers in labelled natural deduction for normal modal logic

M Pascucci

Department of Philosophy

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

Original language	English
Pages (from-to)	865-894
Number of pages	30
Journal	Logic Journal of the Igpl
Volume	27
Issue number	6
DOIs	https://doi.org/10.1093/jigpal/jzz008
State	Published - Dec 2019

Keywords

Labelled natural deduction
Modal logic
Propositional quantifiers
Strong normalization

Access to Document

10.1093/jigpal/jzz008

Cite this

@article{d6564590d5dc466c8cfaa7ab6617a69b,

title = "Propositional quantifiers in labelled natural deduction for normal modal logic",

keywords = "Labelled natural deduction, Modal logic, Propositional quantifiers, Strong normalization",

author = "M Pascucci",

year = "2019",

month = dec,

doi = "10.1093/jigpal/jzz008",

language = "English",

volume = "27",

pages = "865--894",

journal = "Logic Journal of the Igpl",

issn = "1367-0751",

publisher = "Oxford University Press",

number = "6",

}

TY - JOUR

T1 - Propositional quantifiers in labelled natural deduction for normal modal logic

AU - Pascucci, M

PY - 2019/12

Y1 - 2019/12

KW - Labelled natural deduction

KW - Modal logic

KW - Propositional quantifiers

KW - Strong normalization

UR - https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=ceuapplication2024&SrcAuth=WosAPI&KeyUT=WOS:000509486800005&DestLinkType=FullRecord&DestApp=WOS

U2 - 10.1093/jigpal/jzz008

DO - 10.1093/jigpal/jzz008

M3 - Article

SN - 1367-0751

VL - 27

SP - 865

EP - 894

JO - Logic Journal of the Igpl

JF - Logic Journal of the Igpl

IS - 6

ER -

Propositional quantifiers in labelled natural deduction for normal modal logic

Keywords

Access to Document

Other files and links

Cite this