First-order logic is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. It is also known as firstâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2004

Highly Cited

2004

- Arend Rensink
- ICGT
- 2004

We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nestedâ€¦Â (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- Joseph Y. Halpern, Vicky Weissman
- CSFW
- 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

- Anand Ranganathan, Roy H. Campbell
- Personal and Ubiquitous Computing
- 2003

Context simplifies and enriches human-human interaction. However, enhancing human-computer interaction through the use of contextâ€¦Â (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- Andrew M. Pitts
- TACS
- 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

- Daniel O Jackson
- SIGSOFT FSE
- 2000

An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to aâ€¦Â (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- Kousha Etessami, Moshe Y. Vardi, Thomas Wilke
- LICS
- 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

- Erich GrÃ¤del, Phokion G. Kolaitis, Moshe Y. Vardi
- Bulletin of Symbolic Logic
- 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

- Melvin Fitting
- Texts and Monographs in Computer Science
- 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)

Is this relevant?

Highly Cited

1989

Highly Cited

1989

- Serge Abiteboul, Victor Vianu
- LICS
- 1989

Datalog extensions with fixpoint semantics motivated by database queries and updates are studied. They suggest new non-trivialâ€¦Â (More)

Is this relevant?

Highly Cited

1985

Highly Cited

1985

- Yuri Gurevich, Saharon Shelah
- 26th Annual Symposium on Foundations of Computerâ€¦
- 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?