A Method for Solving Reversed Smullyan’s Puzzles

Name: A Method for Solving Reversed Smullyan’s Puzzles
Keywords: Smullyan; Knights and Knaves; logical puzzles; reversed puzzles; propositional logic; formalization problem; normal forms, Р. Смаллиан; рыцари и лжецы; логические задачи; обратные задачи; логика высказываний; формализация; нормальные формы

descriptionPublicationkeyboard_double_arrow_right Article 12 Nov 2024 Russian Publisher:Региональная общественная организация «Санкт-Петербургское философское общество»Journal:Logiko-filosofskie studii (issn: 2071-9183,

A Method for Solving Reversed Smullyan’s Puzzles

- Summary
- Subjects
- Metrics

Abstract

This article considers reversed Smullyan’s logical puzzles of Knights and Knaves; a method of their formalization and solution is proposed.

В данной статье рассматриваются обратные задачи Смаллиана о рыцарях и лжецах и предлагается метод их формализации и решения.

Keywords

Smullyan; Knights and Knaves; logical puzzles; reversed puzzles; propositional logic; formalization problem; normal forms, Р. Смаллиан; рыцари и лжецы; логические задачи; обратные задачи; логика высказываний; формализация; нормальные формы

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

hybrid