Results 21 to 30 of about 109,474 (252)
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
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
Observation and abstract behaviour in specification and implementation of state-based systems [PDF]
, 2001 Classical algebraic specification is an accepted framework for specification. A criticism which applies is the fact that it is functional, not based on a notion of state as most software development and implementation languages are.
Pahl, Claus
core +2 more sources