Premium
Decidability of S4.1
Author(s) -
SEGERBERG KRISTER
Publication year - 1968
Publication title -
theoria
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.34
H-Index - 16
eISSN - 1755-2567
pISSN - 0040-5825
DOI - 10.1111/j.1755-2567.1968.tb00335.x
Subject(s) - decidability , mathematics , calculus (dental) , discrete mathematics , medicine , dentistry