Tableau Development for a Bi-intuitionistic Tense Logic.

John G. Stell Renate A. Schmidt David E. Rydeheard

Published in: RAMiCS (2014)

Keyphrases

classical logic
linear logic
case study
artificial intelligence
software engineering
natural deduction
description logics
logic programming
logical framework
information systems
knowledge discovery
computational intelligence
information processing
belief revision
development process
modal logic