BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

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)


Export

APA
José Félix Costa, Diogo Poças, (2017). Solving Smullyan Puzzles with Formal Systems. Axiomathes, ISSN 1122-1151. eISSN . http://dx.doi.org/10.1007/s10516-017-9339-1

IEEE
José Félix Costa, Diogo Poças, "Solving Smullyan Puzzles with Formal Systems" in Axiomathes, 2017. 10.1007/s10516-017-9339-1

BIBTEX
@article{37759, author = {José Félix Costa and Diogo Poças}, title = {Solving Smullyan Puzzles with Formal Systems}, journal = {Axiomathes}, year = 2017, }