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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1940-2019
020040019402018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2004
Highly Cited
2004
We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Context simplifies and enriches human-human interaction. However, enhancing human-computer interaction through the use of context… (More)
  • figure 1
  • table 1
  • figure 2
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This paper formalises within first-order logic some common practices in computer science to do with representing and reasoning… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a… (More)
  • figure 1
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We investigate the power of first-order logic with only two va riables over !-words and finite words, a logic denoted by FO2. We… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We identify the computational complexity of the satisfiability problem for FO, the fragment of first-order logic consisting of… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Spend your time even for only few minutes to read a book. Reading a book will never reduce and waste your time to be useless… (More)
  • table 2.1
  • table 2.2
  • figure 2.1
  • table 2.3
  • table 2.4
Is this relevant?
Highly Cited
1989
Highly Cited
1989
Datalog extensions with fixpoint semantics motivated by database queries and updates are studied. They suggest new non-trivial… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1985
Highly Cited
1985
We prove that the three extensions of first-order logic by means of positive inductions, monotone inductions, and so-called non… (More)
Is this relevant?