Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4.

Rineke Verbrugge

Published in: AiML (2022)

Keyphrases

modal logic
automated reasoning
computer vision
image processing
logic programming
deontic logic
asynchronous circuits
e learning
multi agent
classical logic
formal language
predicate logic
epistemic logic