Selective filtration in modal logic Part A. Semantic tableaux method

DOVM GABBAY

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

6 Scopus citations

Access to Document

@article{19094c04d6cc44bcacfb7cf54e091024,

title = "Selective filtration in modal logic Part A. Semantic tableaux method",

author = "DOVM GABBAY",

year = "1970",

month = dec,

doi = "10.1111/j.1755-2567.1970.tb00430.x",

language = "אנגלית",

volume = "36",

pages = "323--330",

journal = "Theoria",

issn = "0040-5825",

publisher = "John Wiley & Sons Inc.",

number = "3",

}

TY - JOUR

T1 - Selective filtration in modal logic Part A. Semantic tableaux method

AU - GABBAY, DOVM

PY - 1970/12

Y1 - 1970/12

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

U2 - 10.1111/j.1755-2567.1970.tb00430.x

DO - 10.1111/j.1755-2567.1970.tb00430.x

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

AN - SCOPUS:84979108071

SN - 0040-5825

VL - 36

SP - 323

EP - 330

JO - Theoria

JF - Theoria

IS - 3

ER -