Login / Signup
Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper).
Asta Halkjær From
Patrick Blackburn
Jørgen Villadsen
Published in:
IJCAR (1) (2020)
Keyphrases
</>
proof search
description logics
modal logic
classical logic
defeasible logic
asynchronous circuits
proof procedure
automated theorem proving
logic programming
hybrid learning
real time
knowledge base
theorem proving
logical framework
nonmonotonic logics