What is the Correct Logic of Necessity, actuality and apriority?

Published in: Rev. Symb. Log. (2014)

Keyphrases

multi valued
asynchronous circuits
modal logic
automated reasoning
classical logic
machine learning
artificial intelligence
website
natural language
expert systems
logical framework
dynamic logic
natural deduction