-
1by Antti Kuusisto“...We introduce a natural Turing-complete extension of first-order logic FO. The extension adds two...”
Published 2014-08-01
Get full text
Article -
2“... interactions of mathematics, philosophy, language, and religion. It then considers extensions of first-order...”
Get full text
Article -
3by Saleh, Rafiq Asad Muthanna“... of first-order logic with deterministic transitive closure operator allow to define planarity of both...”
Published 2011
Get full text
-
4by Gracio, Maria Claudia Cabrini“... of first order logic denominated modulated logics, constructed by extending classical logic through...”
Published 1999
Get full text
Get full text
Others -
5by Palazzo, Luiz Antonio Moro“... undecidability and the negation problem, extensions of first-order logic have been shown to be able to overcome...”
Published 2010
Get full text
Others -
6by Palazzo, Luiz Antonio Moro“... undecidability and the negation problem, extensions of first-order logic have been shown to be able to overcome...”
Published 2010
Get full text
Others -
7by Palazzo, Luiz Antonio Moro“... undecidability and the negation problem, extensions of first-order logic have been shown to be able to overcome...”
Published 2010
Get full text
Others -
8by Momtahan, Lee“... of first-order logic for modelling software systems. Alloy has a fully automatic analyzer which attempts...”
Published 2007
Get full text
-
9“... theory, non-commutative quaternion algebra and Turing machines. An extension to first order logic...”
Get full text
Article -
10by Halmagrand, Pierre“... on encodings. Deduction modulo theory is an extension of first-order logic with rewriting both on terms...”
Published 2016
Get full text
