Premium
On systems of modal logic with provability interpretations
Author(s) -
BOOLOS GEORGE
Publication year - 1980
Publication title -
theoria
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.34
H-Index - 16
eISSN - 1755-2567
pISSN - 0040-5825
DOI - 10.1111/j.1755-2567.1980.tb00686.x
Subject(s) - george (robot) , citation , modal , computer science , modal logic , library science , artificial intelligence , polymer chemistry , chemistry