Results 31 to 40 of about 123,099 (101)
A study of operator and parameter choices in non-revisiting genetic algorithm [PDF]
, 2009 We study empirically the effects of operator and parameter choices on the performance of the non-revisiting genetic algorithm (NrGA). For a suite of 14 benchmark functions that include both uni-modal and multi-modal functions, it is found that NrGA is ...
Chow, CK, Yuen, SY
core +1 more source
On the Semantics of Imperatives in Persian [PDF]
مطالعات زبانها و گویشهای غرب ایران, 2018 The present paper aims to analyze the imperatives in Persian form a formal semantics viewpoint. Basically, as well as the ‘directive’ meaning as their default reading, the imperatives express a variety of other illocutionary forces.
Hossein Moghani
doaj
Topos Semantics for Higher-Order Modal Logic [PDF]
, 2014 We define the notion of a model of higher-order modal logic in an arbitrary elementary topos $\mathcal{E}$. In contrast to the well-known interpretation of (non-modal) higher-order logic, the type of propositions is not interpreted by the subobject ...
Awodey, Steve +2 more
core +1 more source
Dretske on Closure of Knowledge and Its Rereading in Justification Logic [PDF]
حکمت و فلسفه, 2020 The K axiom in the logic of knowledge expresses this epistemological approach that knowledge is closed under known implications. For Dretske, for two reasons, the closure of knowledge cannot be tautology: first, the knowledge operator does not penetrate ...
Masoud Alvand
doaj +1 more source
Post Completeness in Congruential Modal Logics [PDF]
, 2016 Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truth-functional, and that every consistent normal modal logic can be extended to at least one of them.
Fritz, Peter
core
Indicative Conditionals and Dynamic Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic.
Wesley H. Holliday, Thomas F. Icard III
doaj +1 more source
Modal dependent type theory and dependent right adjoints [PDF]
, 2019 In recent years we have seen several new models of dependent type theory extended with some form of modal necessity operator, including nominal type theory, guarded and clocked type theory, and spatial and cohesive type theory.
Birkedal, Lars +5 more
core +2 more sources
Iconic Gestures for Robot Avatars, Recognition and Integration with Speech
Frontiers in Psychology, 2016 Co-verbal gestures are an important part of human communication, improving its efficiency and efficacy for information conveyance. One possible means by which such multi-modal communication might be realised remotely is through the use of a tele-operated
Paul Adam Bremner, Ute eLeonards
doaj +1 more source
Logical Step-Indexed Logical Relations [PDF]
, 2010 Appel and McAllester's "step-indexed" logical relations have proven to be a simple and effective technique for reasoning about programs in languages with semantically interesting types, such as general recursive types and general reference types. However,
A. M. Pitts +13 more
core +3 more sources
Scopes and Limits of Modality in Quantum Mechanics [PDF]
, 2006 We develop an algebraic frame for the simultaneous treatment of actual and possible properties of quantum systems. We show that, in spite of the fact that the language is enriched with the addition of a modal operator to the orthomodular structure ...
Balbes +20 more
core +2 more sources