Crossmark

Solving Smullyan Puzzles with Formal Systems

Crossref DOI link: https://doi.org/10.1007/s10516-017-9339-1

Published Online: 2017-04-28

Published Print: 2018-04

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Costa, José Félix

Poças, Diogo
License Information

Text and Data Mining valid from 2017-04-28

Version of Record valid from 2017-04-28
More Information

Article History

Received: 6 January 2017

Accepted: 18 April 2017

First Online: 28 April 2017