Decidability of an Xstit Logic.

Gillman Payette

Published in: Stud Logica (2014)

Keyphrases

computational properties
logic programming
modal logic
decision procedures
query answering
automata theoretic
description logics
classical logic
proof theory
neural network
temporal logic
social networks
nonmonotonic logics
predicate logic
dynamic logic
deductive reasoning
artificial intelligence