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