Completeness and Decidability Results for CTL in Constructive Type Theory.

Christian Doczkal Gert Smolka

Published in: J. Autom. Reason. (2016)

Keyphrases

type checking
description logics
theoretical basis
model checking
theoretical framework
general theory
temporal logic
query answering
learning algorithm
databases
computational model
relational databases
case study
search engine
decision theory
formal theory
neural network