Login / Signup
The Logic of Where and While in the 13th and 14th Centuries.
Sara L. Uckelman
Published in:
Advances in Modal Logic (2016)
Keyphrases
</>
modal logic
real world
logic programming
classical logic
defeasible logic
nonmonotonic logics
formal theory
genetic algorithm
search algorithm
logical framework
predicate logic
epistemic logic
asynchronous circuits
natural deduction