The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022.

Jean-Yves Béziau

Published in: Logica Universalis (2022)

Keyphrases

logic programming
modal logic
automated reasoning
world model
multi valued
classical logic
data sets
knowledge base
case study
logical framework
digital circuits
formal language
formal theory
asynchronous circuits