• No results found

Frame correspondence and second-order logic

Second order logic is logic

Second order logic is logic

... with logic, and a formal system which is said to be logic gives or reflects some sense of what the extension of the concept of logical necessity ...characterise logic, we must ask the question of how ...

226

2. Second-order Logic versus First-order Logic

2. Second-order Logic versus First-order Logic

... in order to make the experiment the physicist has to presuppose the validity of other unquestioned underlying physical laws and, hence, it is not excluded that one or more of such underlying laws are re- sponsible ...

20

Second-Order Modal Logic

Second-Order Modal Logic

... with second-order quantifiers will require there to be entities which can be the values of the second-order variables of ...of second-order quantifiers need not be committed to ...

336

Second order logic : ontological and epistemological problems

Second order logic : ontological and epistemological problems

... mismatch between the original system and the new one. Let us say we have two deductive systems, X and Y . X is traditionally thought to capture a certain class of logical inferences. The new system Y is suggested because ...

289

Quantum Probabilistic Dyadic Second-Order Logic

Quantum Probabilistic Dyadic Second-Order Logic

... quantum logic and quantum computation are [3,8], and [9, Chapter ...The logic we propose in the following sections—dyadic second-order quantum logic—is fit to deal with multi-partite ...

17

Graph Decompositions and Monadic Second Order Logic

Graph Decompositions and Monadic Second Order Logic

... monadic second order logic could be solved in linear time on graphs with tree width less than or equal to ...monadic second order logic is decidable for the class of graphs with ...

44

Quine and Boolos on second-order logic : an examination of the debate

Quine and Boolos on second-order logic : an examination of the debate

... second-order logic to be inclusive of set ...Higher-order logic, as Quine sees it, is set theory so the notion of set-theoretic truth will be applicable to it rather than the logical ...

129

Quine and Boolos on second order logic : an examination of the debate

Quine and Boolos on second order logic : an examination of the debate

... f Logic, where Quine placed more emphasis on showing implications directly by a method of natural deduction, where it might have made more sense to prove the strong completeness theorem, the form of completeness ...

129

A Decidable Fragment of Second Order Logic With Applications to Synthesis

A Decidable Fragment of Second Order Logic With Applications to Synthesis

... our logic is to express synthesis ...(first order and second order) can be used to model program ...our logic allows second-order universal quantification over functions, ...

19

Weak Monadic Second-Order Logic on Infinitely Branching Trees

Weak Monadic Second-Order Logic on Infinitely Branching Trees

... 2 Preliminaries Let us start with giving some definitions that will be used for this thesis. We define trees first and then specify the logic to talk about them. Further we introduce parity automata, as well as ...

54

Capturing k-ary existential second order logic with k-ary inclusion–exclusion logic

Capturing k-ary existential second order logic with k-ary inclusion–exclusion logic

... any logic with team semantics, since the splitting of the team when evaluating disjunctions tends to lose ...other logic with team semantics – such as dependence ...

51

Existential Second-order Logic over Graphs: A Complete Complexity-theoretic Classification

Existential Second-order Logic over Graphs: A Complete Complexity-theoretic Classification

... existential second-order logic (eso logic) if, and only if, it is in NP ...eso logic also still characterize NP ...eso logic, its reduction closure under first-order ...

13

2 Tense Logic, Second-Order Logic and Natural Language, in U. Mönnich, ed., Aspects of Philosophical Logic, Reidel, Dordrecht, 1-20.

2 Tense Logic, Second-Order Logic and Natural Language, in U. Mönnich, ed., Aspects of Philosophical Logic, Reidel, Dordrecht, 1-20.

... 38 Dynamic Arrow Logic, in J. van Eyck & A. Visser, eds., Logic and Information Flow, The MIT Press, Cambridge (Mass.), 15-29. 39 General Dynamic Logic, in D. Gabbay, ed., What is a Logical ...

10

A Taxonomy and Evaluation of Dense Two-Frame Stereo Correspondence Algorithms

A Taxonomy and Evaluation of Dense Two-Frame Stereo Correspondence Algorithms

... Further research is needed to fully exploit the potential of scanline methods without sacrificing their efficiency. 8. Conclusion In this paper, we have proposed a taxonomy for dense two- frame stereo ...

35

Geometrisation of first order logic

Geometrisation of first order logic

... first-order logic by Harrison [25], can be found at ...coherent logic deal only with coherent formulae and do not support transformation of arbitrary input formu- ...coherent logic, in the ...

40

A First-Order Logic with Frames

A First-Order Logic with Frames

... The second class of rules work to give a weakest tightest precondition for any postcondition with respect to non-recursive ...separation logic, the corresponding rules for weakest preconditions are often ...

48

The Economic Application Approach of Fuzzy Logic Controller Type I and II for Second Order Linear Systems

The Economic Application Approach of Fuzzy Logic Controller Type I and II for Second Order Linear Systems

... 1 Department of Mechanical Engineering, Islamic Azad University of Shiraz, Shiraz, Iran Abstract During the last decades, Fuzzy Logic Controller (FLC) has been studied in many researchers. In this paper, the ...

12

Modal Linear Logic in Higher Order Logic, an experiment in Coq

Modal Linear Logic in Higher Order Logic, an experiment in Coq

... 5.2 Proving a multimodal theorem A standard puzzle of multi-modal logics is the The king, three wise men and 5 hats puzzle. It goes like this: a king has got three wise men and 5 hats: 2 green and 3 red. He asks the wise ...

19

The first-order hypothetical logic of proofs

The first-order hypothetical logic of proofs

... The formula [[t]] {i} P(i)⊃[[t]] ∅ P(i) is no longer provable with these rules (as will be made clear in Sec. 3 where the correspondence between FOLP and FOHLP is studied). The remainder of this work consists in ...

44

The Ontology and Logic of Higher Order Multitudes

The Ontology and Logic of Higher Order Multitudes

... higher- order multiple capable of representing is a ab ...b’s second position by its occurring in all but one, and c’s third and final position by its occurring only ...

21

Show all 10000 documents...

Related subjects