AI Chat AI Image Generator AI Video Text to Speech

Coins and Logic

01/03/2018

∙

by Tanya Khovanova, et al.

∙

We establish fun parallels between coin-weighing puzzles and knights-and-knaves puzzles.

READ FULL TEXT

page 4

page 9

research

∙ 04/08/2019

Fifty years of Hoare's Logic

We discuss a history of Hoare's logic....

0 Krzysztof R. Apt, et al. ∙

research

∙ 04/14/2022

Another Combination of Classical and Intuitionistic Conditionals

On the one hand, classical logic is an extremely successful theory, even...

0 Satoru Niki, et al. ∙

research

∙ 04/01/2019

Fundamentals of computability logic

This article is a semitutorial-style survey of computability logic. An e...

0 Giorgi Japaridze, et al. ∙

research

∙ 06/16/2020

Grading Adjoint Logic

We introduce a new logic that combines Adjoint Logic with Graded Necessi...

0 Harley Eades III, et al. ∙

research

∙ 09/09/2022

Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic

This paper presents an extension of Defeasible Deontic Logic to deal wit...

0 Guido Governatori, et al. ∙

research

∙ 02/13/2023

A Logic for Veracity

This paper shows the initial stages of development, from first principle...

0 Steve Reeves, et al. ∙

research

∙ 06/09/2012

The hardest logic puzzle ever becomes even tougher

"The hardest logic puzzle ever" presented by George Boolos became a targ...

0 Nikolay Novozhilov, et al. ∙

Coins and Logic

Related Research

Fifty years of Hoare's Logic

Another Combination of Classical and Intuitionistic Conditionals

Fundamentals of computability logic

Grading Adjoint Logic

Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic

A Logic for Veracity

The hardest logic puzzle ever becomes even tougher