A Tableau System for Quasi-Hybrid Logic.

Diana Costa Manuel A. Martins

Published in: IJCAR (2016)

Keyphrases

proof search
description logics
real time
logic programming
computational properties
proof procedure
classical logic
automated theorem proving
digital circuits
theorem prover
modal logic
database
nonmonotonic logics
theorem proving
proof theory
query language
delay insensitive