European Meeting of the Association for Symbolic Logic: Bristol, England, 1973.
H. E. RoseJohn C. ShepherdsonPublished in: J. Symb. Log. (1974)
Keyphrases
- modal logic
- multi valued
- defeasible logic
- symbolic representation
- symbolic description
- logical framework
- classical logic
- computational properties
- set theory
- real time
- epistemic logic
- nonmonotonic logics
- meeting room
- delay insensitive
- north american
- neural learning
- european project
- asynchronous circuits
- deontic logic
- truth values
- automated reasoning
- logic programming