Results 11 to 20 of about 109,310 (121)
On the Difference between the Two Barbaras
Problemos, 2018 [full article, abstract in English; only abstract in Lithuanian] The paper deals with the problem of the “two Barbaras” in the Aristotelian modal syllogistic.
Živilė Pabijutaitė
doaj +1 more source
Trust-based belief change [PDF]
, 2014 International audienceWe propose a modal logic that supports reasoning about trust-based belief change. The term trust-based belief change refers to belief change that depends on the degree of trust the receiver has in the source of ...
Jiang, Guifei +2 more
core +3 more sources
L’agentivité métaphorique dans les incantations des Yucuna d’Amazonie colombienne
Bulletin de l'Institut Français d'Études Andines, 2016 Yucuna incantations are mumbled in a low voice and without an audience, as are those of the Desana described by Dominique Buchillet to question Lévi-Strauss’s explanation of symbolic efficiency.
Laurent Fontaine
doaj +1 more source
The First-Order Hypothetical Logic of Proofs [PDF]
, 2018 The Propositional Logic of Proofs (LP) is a modal logic in which the modality □A is revisited as [[t]]A , t being an expression that bears witness to the validity of A .
Bonelli, Eduardo Augusto +1 more
core +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
Recursive Decentralized Control for Trajectory Tracking of Flexible Space Manipulators
IEEE Access, 2019 A recursive decentralized control scheme is presented for the trajectory tracking issue of flexible space manipulator. In the traditional decentralized control for manipulators, each link in the manipulator is viewed as an isolated second-order subsystem.
Li Su, Quan Hu, Lei Zhang
doaj +1 more source
A Logical Foundation for Environment Classifiers [PDF]
, 2010 Taha and Nielsen have developed a multi-stage calculus {\lambda}{\alpha} with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fragments and variable declarations are annotated, and their ...
Atsushi Igarashi +2 more
core +2 more sources
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes [PDF]
, 2018 The study of algebraic modelling of labelled non-deterministic concurrent processes leads us to consider a category LB , obtained from a complete meet-semilattice B and from B-valued equivalence relations.
BOTTONI, Paolo Gaspare +3 more
core +1 more source
Two variable fragment of Term Modal Logic
, 2019 Term modal logics (TML) are modal logics with unboundedly many modalities, with quantification over modal indices, so that we can have formulas of the form $\exists y. \forall x. (\Box_x P(x,y) \supset\Diamond_y P(y,x))$. Like First order modal logic, TML is also "notoriously" undecidable, in the sense that even very simple fragments are undecidable ...
Padmanabha, Anantha, Ramanujam, R.
openaire +4 more sources
Uniform Substitution for Differential Game Logic
, 2018 This paper presents a uniform substitution calculus for differential game logic (dGL). Church's uniform substitutions substitute a term or formula for a function or predicate symbol everywhere.
A Church +7 more
core +1 more source