Document type
Journal articles
Document subtype
Full paper
Title
Solving Smullyan Puzzles with Formal Systems
Participants in the publication
José Félix Costa (Author)
Diogo Poças (Author)
Dep. Informática
CMAF
LASIGE
Date of Publication
2017-04-28
Where published
Axiomathes
Publication Identifiers
ISSN - 1122-1151
Publisher
Springer Nature
Document Identifiers
DOI -
https://doi.org/10.1007/s10516-017-9339-1
URL -
http://dx.doi.org/10.1007/s10516-017-9339-1
Rankings
SCIMAGO Q2 (2016) - 0.227 - Philosophy
SCIMAGO Q4 (2016) - 0.227 - Mathematics (miscellaneous)
SCOPUS Q2 (2017) - 0.184 - Philosophy
SCOPUS Q3 (2017) - 0.184 - Mathematics (miscellaneous)
SCIMAGO Q2 (2017) - 0.184 - Philosophy
SCIMAGO Q4 (2017) - 0.184 - Mathematics (miscellaneous)