Compactness in first order Łukasiewicz logic
Taming first-order logic
Conceptual Graphs and First Order Logic
Modal Logics Between Propositional and First‐order
Compactness in first-order Gödel logics
A first-order conditional probability logic
First-order hybrid logic: introduction and survey
Towards Abductive Reasoning in First-order Logic
Abductive Equivalence in First-order Logic
Fibring Modal First-Order Logics: Completeness Preservation
The first-order hypothetical logic of proofs
From First-Order to Higher-Order Modal Logic
Do Not Claim Too Much: Second-order Logic and First-order Logic
Show all results sharing this subject:
Another name for predicate calculus.
A Dictionary of Computing »
See all related items in Oxford Index »
Search for the text `first-order logic' anywhere in Oxford Index »
Users without a subscription are not able to see the full content. Please,
or login to access all content.
Forgot your password?