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

Related topics

Related topics

50 relations
Attempto Controlled EnglishBIT predicateBernays–Schönfinkel classBounded quantifier
(More)

Related mentions per year

Related mentions per year

1936-2019
19401960198020002020
First-order logic
Ontology (information science)
Search algorithm
Entity–relationship model
Fuzzy set
Logical connective

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2004
Highly Cited
2004
Representing First-Order Logic Using Graphs
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
Using First-Order Logic to Reason about Policies
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
An infrastructure for context-awareness based on first order logic
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
Nominal Logic: A First Order Theory of Names and Binding
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
Automating first-order relational logic
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
First-Order Logic with Two Variables and Unary Temporal Logic
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
On the decision problem for two-variable first-order logic
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
First-Order Logic and Automated Theorem Proving
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
Fixpoint Extensions of First-Order Logic and Datalog-Like Languages
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
Fixed-point extensions of first-order logic
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?