Quantified Conditional Logics are Fragments of HOL
share
A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented.
READ FULL TEXT
A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented.
READ FULL TEXT
Use your Google Account to sign in to DeepAI
