Results 1 to 10 of about 201,623 (302)
A Probabilistic Higher-order Fixpoint Logic [PDF]
Logical Methods in Computer Science, 2021 We introduce PHFL, a probabilistic extension of higher-order fixpoint logic, which can also be regarded as a higher-order extension of probabilistic temporal logics such as PCTL and the $\mu^p$-calculus. We show that PHFL is strictly more expressive than
Yo Mitani +2 more
doaj +7 more sources
Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic
Fractal and Fractional, 2022 Fractional-order PID control is a landmark in the development of fractional-order control theory. It can improve the control precision and accuracy of systems and achieve more robust control results.
Chunna Zhao, Murong Jiang, Yaqun Huang
doaj +3 more sources
Superposition for Higher-Order Logic [PDF]
Journal of Automated Reasoning, 2023 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bentkamp, Alexander +3 more
openaire +6 more sources
Superposition for Lambda-Free Higher-Order Logic [PDF]
Logical Methods in Computer Science, 2021 We introduce refutationally complete superposition calculi for intentional and extensional clausal $\lambda$-free higher-order logic, two formalisms that allow partial application and applied variables.
Alexander Bentkamp +3 more
doaj +1 more source
The Frege-Geach Problem and the Logic of Higher-Order Attitudes [PDF]
Pizhūhish/hā-yi Falsafī- Kalāmī, 2023 Moral expressivism suggests that 1) moral sentences lack truth conditions and 2) our purpose in asserting moral sentences is to express non-cognitive attitudes such as desires, approval, or disapproval.
Bahram Alizade
doaj +1 more source
Henkin on Nominalism and Higher-Order Logic
Principia: An International Journal of Epistemology, 2022 In this paper a proposal by Henkin of a nominalistic interpretation for second and higher-order logic is developed in detail and analysed. It was proposed as a response to Quine’s claim that second and higher-order logic not only are (α) committed to ...
Diego Pinheiro Fernandes
doaj +1 more source
Misleading Higher-Order Evidence, Conflicting Ideals, and Defeasible Logic
Ergo, An Open Access Journal of Philosophy, 2021 Thinking about misleading higher-order evidence naturally leads to a puzzle about epistemic rationality: If one’s total evidence can be radically misleading regarding itself, then two widely-accepted requirements of rationality come into conflict ...
Aleks Knoks
doaj +2 more sources
Indexed linear logic and higher-order model checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In recent work, Kobayashi observed that the acceptance by an alternating tree automaton A of an infinite tree T generated by a higher-order recursion scheme G may be formulated as the typability of the recursion scheme G in an appropriate intersection ...
Charles Grellois, Paul-André Melliès
doaj +1 more source
The Complexity of Model Checking Higher-Order Fixpoint Logic [PDF]
Logical Methods in Computer Science, 2007 Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed \lambda-calculus and the modal \lambda-calculus. This makes it a highly expressive temporal logic that is capable of expressing various interesting correctness properties of programs that ...
Roland Axelsson +2 more
doaj +1 more source
Alternation Is Strict For Higher-Order Modal Fixpoint Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We study the expressive power of Alternating Parity Krivine Automata (APKA), which provide operational semantics to Higher-Order Modal Fixpoint Logic (HFL). APKA consist of ordinary parity automata extended by a variation of the Krivine Abstract Machine.
Florian Bruse
doaj +1 more source