Results 151 to 160 of about 19,016 (311)
The exact correspondence between intuitionistic and modal logic (Extended abstract)
A normalizing system of classical natural deduction for S4 is given. It is shown that steps of indirect proof can be eliminated from derivations of formulas T(A) translated from intuitionistic logic to S4.
von Plato, Jan
core
Enriched coalgebraic modal logic
, 2013 We formalise the notion of enriched coalgebraic modal logic, and determine conditions on the category V (over which we enrich), that allow an enriched logical connection to be extended to a framework for enriched coalgebraic modal logic.
Wilkinson, Toby
core
Strong‐Magnetic Flexible Composites for Magnetically Responsive Soft Robots
Advanced Robotics Research, EarlyView.This perspective provides an overview of the performance mechanisms, preparation methods, and applications of strong magnetic flexible composite materials in soft actuators (such as gripping, movement, and sensing), and further explores current opportunities and challenges.
Wenwen Li +4 more
wiley +1 more source
Modal Logic and the Vietoris Functor
, 2014 In [16], Esakia uses the Vietoris topology to give a coalgebra-flavored definition of topological Kripke frames, thus relating the Vietoris topology, modal logic and coalgebra.
Vosmaer, J. +2 more
core +1 more source
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
Advanced Robotics Research, EarlyView.BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat +4 more
wiley +1 more source
3D Printing of Soft Robotic Systems: Advances in Fabrication Strategies and Future Trends
Advanced Robotics Research, EarlyView.Collectively, this review systematically examines 3D‐printed soft robotics, encompassing material selections, function integration, and manufacturing methodologies. Meanwhile, fabrication strategies are analyzed in order of increasing complexity, highlighting persistent challenges with proposed solutions.
Changjiang Liu +5 more
wiley +1 more source
A characterization of adjunction in a many-valued modal system
CQD Revista Eletrônica Paulista de MatemáticaGalois connections are pairs of functions, defined over ordered sets, that preserve some particular aspects. They are studied in the context of algebraic structures.
Hércules de Araújo Feitosa +1 more
doaj +1 more source
, 2010 In Modal Logic for Open Minds, Johan van Benthem provides an introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it.
van Benthem, J.
core
Advanced Robotics Research, EarlyView.Automated poultry processing lines still rely on humans to lift slippery, easily bruised carcasses onto a shackle conveyor. Deformability, anatomical variance, and hygiene rules make conventional suction and scripted motions unreliable. We present ChicGrasp, an end‐to‐end hardware‐software co‐designed imitation learning framework, to offer a ...
Amirreza Davar +8 more
wiley +1 more source
Although negation-free languages are widely used in logic and computer science, relatively little is known about their expressive power. To address this issue we consider a kind of non-symmetric bisimulations called directed simulations, and use these to
Kurtonina, Natasha, Rijke, Maarten de
core