Axiomatizing the Logic of Ordinary Discourse.

Vitor Greati Sérgio Marcelino Umberto Rivieccio

Published in: CoRR (2024)

Keyphrases

logic programming
modal logic
asynchronous circuits
real time
information systems
automated reasoning
digital circuits
sound and complete axiomatization
website
knowledge building
nonmonotonic reasoning
logical framework
classical logic
dynamic logic
proof theory