Solving Smullyan puzzles with formal systems

• Author(s): Costa, José Félix ; Poças, Diogo
• Date: 2017
• Persistent ID: http://hdl.handle.net/10451/44296
• Origin: Repositório da Universidade de Lisboa
• Document Type: Journal article
• Language: English
• Contributor(s): Repositório Científico de Acesso Aberto da ULisboa