Searching for "Extended First-Order Logic." – sorted by Relevance.
188 documents found, showing 1 through 10.
Next 10 →
-
Natural Deduction
- … or variables). Then it will be shown how to extend it to first-order logic using skolemization and unification…
- Add To MetaCart
-
Predicate Logic with Sequence Variables and Sequence Function Symbols
- … {kutsia,buchberger}@(email omitted); Abstract. We extend first-order logic with sequence variables…
- Cited by 4 (4 self) – Add To MetaCart
-
Game Quantification on Automatic Structures
- … extend first-order logic on structures on words by allowing to use an infinite string of alternating…
- Add To MetaCart
-
A Sequent Calculus for Nominal Logic
- … first-order logic. We present a sequent calculus for nominal logic called Fresh Logic, or FL, admitting…
- Cited by 17 (7 self) – Add To MetaCart
-
Logics of imperfect information: why sets of assignments
- … of London w.hodges@(email omitted); 1 The source of the question In 1961 Leon Henkin [3] extended first-order…
- Cited by 1 (0 self) – Add To MetaCart
-
First-order and counting theories of ω-automatic structures
- …-AUTOMATIC STRUCTURES DIETRICH KUSKE AND MARKUS LOHREY Abstract. The logic L(Qu) extends first-order logic by a…
- Cited by 1 (0 self) – Add To MetaCart
-
Quantifiers and Congruence Closure
- … property for logics which extend first-order logic by means of meager quantifiers, arbitrary monadic…
- Cited by 1 (0 self) – Add To MetaCart
-
Towards Ontology Interoperability through Conceptual Groundings
- … these issues, we propose a hybrid knowledge representation approach which extends first-order logic ontologies…
- Add To MetaCart
-
Linear Time Computable Problems and First-Order Descriptions
- … extending first-order logic for arbitrary structures, can be reduced to problems on simple graphs…
- Cited by 17 (2 self) – Add To MetaCart
-
Temporal Connectives Versus Explicit Timestamps to Query Temporal Databases
- … that there are queries expressible in first-order logic with explicit timestamps that are not expressible in extended…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
