Frame correspondence and second-order logic
Second order logic is logic
226
2. Second-order Logic versus First-order Logic
20
Second-Order Modal Logic
336
Second order logic : ontological and epistemological problems
289
Quantum Probabilistic Dyadic Second-Order Logic
17
Graph Decompositions and Monadic Second Order Logic
44
Quine and Boolos on second-order logic : an examination of the debate
129
Quine and Boolos on second order logic : an examination of the debate
129
A Decidable Fragment of Second Order Logic With Applications to Synthesis
19
Weak Monadic Second-Order Logic on Infinitely Branching Trees
54
Capturing k-ary existential second order logic with k-ary inclusion–exclusion logic
51
Existential Second-order Logic over Graphs: A Complete Complexity-theoretic Classification
13
2 Tense Logic, Second-Order Logic and Natural Language, in U. Mönnich, ed., Aspects of Philosophical Logic, Reidel, Dordrecht, 1-20.
10
A Taxonomy and Evaluation of Dense Two-Frame Stereo Correspondence Algorithms
35
Geometrisation of first order logic
40
A First-Order Logic with Frames
48
The Economic Application Approach of Fuzzy Logic Controller Type I and II for Second Order Linear Systems
12
Modal Linear Logic in Higher Order Logic, an experiment in Coq
19
The first-order hypothetical logic of proofs
44
The Ontology and Logic of Higher Order Multitudes
21