Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Monadic predicate calculus

Known as: First-order, Monadic predicate logic, First order monadic predicate logic 
In logic, the monadic predicate calculus (also called monadic first-order logic) is the fragment of first-order logic in which all relation symbols… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
We present a new, completely redesigned, version of F*, a language that works both as a proof assistant as well as a general… Expand
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2013
Highly Cited
2013
Despite early interest Predicate Invention has lately been under-explored within ILP. We develop a framework in which predicate… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 8
Is this relevant?
Highly Cited
2006
Highly Cited
2006
  • C.-H. Luke Ong
  • 21st Annual IEEE Symposium on Logic in Computer…
  • 2006
  • Corpus ID: 11706854
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
A countable graph can be considered as the value of a certain infinite expression, represented itself by an infinite tree. We… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Motivated by formal models recently proposed in the context of XML, we study automata and logics on strings over infinite… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We present a new framework for verifying partial specifications of programs in order to catch type and memory errors and check… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Abstract It is natural to view concept and role definitions in description logics as expressing monadic and dyadic predicates in… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The theory of the natural numbers with linear order and monadic predicates underlies propositional linear temporal logic. To… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
  • Bruno Courcelle
  • Handbook of Theoretical Computer Science, Volume…
  • 1990
  • Corpus ID: 340189
Publisher Summary This chapter presents three mathematical tools that can be used to describe graph-grammars and the sets… Expand
Is this relevant?
Highly Cited
1961
Highly Cited
1961
The present invention is related to oxazolidin-2-one derivatives having the general formula The invention is further related to a… Expand
Is this relevant?