Closed fragments of provability logics of constructive theories.

Published in: J. Symb. Log. (2008)

Keyphrases

expressive power
queueing networks
neural network
theoretical framework
modal logic
domain theory
modal operators
computational properties
real time
decision making
inference rules
classical logic
defeasible logic
epistemic logic
propositional dynamic logic
classical first order logic