Skip to search formSkip to main contentSkip to account menu

First-order logic

Known as: First-order-logic, First-order predicate calculus, FOL 
First-order logic is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. It is also known as first… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A… 
Highly Cited
2003
Highly Cited
2003
We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic… 
Highly Cited
2002
Highly Cited
2002
The model-checking problem for a logic L on a class C of structures asks whether a given L-sentence holds in a given structure in… 
Review
2001
Review
2001
From the Publisher: Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of… 
Highly Cited
2001
Highly Cited
2001
  • A. Pitts
  • Theoretical Aspects of Computer Software
  • 2001
  • Corpus ID: 5634059
This paper formalises within first-order logic some common practices in computer science to do with representing and reasoning… 
Highly Cited
1997
Highly Cited
1997
Abstract We identify the computational complexity of the satisfiability problem for FO2, the fragment of first-order logic… 
Highly Cited
1994
Highly Cited
1994
Possibilistic logic is a logic of uncertainty tailored for reasoning under incomplete evidence and partially inconsistent… 
Highly Cited
1993
Highly Cited
1993
Abstract To support the sharing and reuse of formally represented knowledge among AI systems, it is useful to define the common… 
Highly Cited
1990
Highly Cited
1990
  • M. Fitting
  • Graduate Texts in Computer Science
  • 1990
  • Corpus ID: 10411039
This monograph on classical logic presents fundamental concepts and results in a rigorous mathematical style. Applications to… 
Highly Cited
1979
Highly Cited
1979
Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal…