1. Home
  2. First-order logic
  Subject:

First-order logic   New Search

View on DBpedia    View on Wikipedia
Top related subjects:
 Logic Classical logic Random graph Decision problem University of Oxford University of Cambridge Type constructor Theorem Temporal logic Subtyping First-order logic Formal system Deontic logic Algorithm Sequent Semantics Propositional calculus Social network Topology Subsequence Spanning tree Timed automaton Time complexity Word problem for groups Proteinuria Osteoarthritis Ontario New York City Cambridge University Press Harvard University Press Springer Publishing Jacques Herbrand Classical mechanics Banach space Polynomial Holomorphic function Sensor fusion Proof calculus Optimal control Mutual exclusion Breast cancer Estrogen receptor Neu! Immunohistochemistry Gene
RELATED SUBJECTS:
The publications listed also have these subjects
Logic  3 times
Classical logic  3 times
Decision problem  2 times
University of Oxford  1 time
University of Cambridge  1 time
Theorem  1 time
Subtyping  1 time
Spacetime  1 time
Sigma  1 time
Random forest  1 time
Natural language  1 time
Municipal solid waste  1 time
Mumbai  1 time
Magnetic resonance imaging  1 time
Laplace operator  1 time
Landfill  1 time
Iran  1 time
Hippocampus  1 time
Heuristic  1 time
Fuzzy logic  1 time
Formal verification  1 time
Formal system  1 time
Combinatorial optimization  1 time
Cardinality  1 time
Boolean algebra  1 time
Biomarker  1 time
Autism spectrum  1 time
Association for Computing Machinery  1 time
Amygdala  1 time
Algorithm  1 time

Publications tagged with this subject: 19

Note: Top 50 publications shown only. Open an item panel to view more info (open all)


1. A herbrandized functional interpretation of classical first-order logic

2. Spectra of first-order formulas with a low quantifier depth and a small number of quantifier alternations

3. A scope freezing effect with negated quantifier phrases

4. Obligation as Optimal Goal Satisfaction

5. The Logic of “Most” and “Mostly”

6. On being called something

7. Hippocampus and amygdala radiomic biomarkers for the study of autism spectrum disorder

8. Cardinality constraints for arrays (decidability results and applications)

9. A Logical Analysis of the Anselm’s Unum Argumentum (from Proslogion)

10. Landfill site selection using combination of fuzzy logic and multi-attribute decision-making approach

11. Equational formulas and pattern operations in initial order-sorted algebras

12. Propositional Epistemic Logics with Quantification Over Agents of Knowledge

13. Chemical substance, material, product, goods, waste: a changing ontology

14. Number words as number names

15. Role of linguistic quantifier and digitally approximated Laplace operator in infrared based ship detection

16. Satisfiability of ECTL∗ with Local Tree Constraints

17. Spectra of short monadic sentences about sparse random graphs

18. Epistemic Modals and Alternative Possibilities

19. Refutation-based synthesis in SMT


Questions?

Drop us a message.