Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics.

Dov M. Gabbay Ruy J. G. B. de Queiroz

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

Keyphrases

closely related
high level
expressive power
information resources
modal logic
semantic interpretation
information systems
case study
reinforcement learning
digital libraries
resource constraints
logical framework
epistemic logic