Results 71 to 80 of about 1,125,186 (250)
Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic
, 2022 Bi-intuitionistic logic is an extension of intuitionistic propositional logic with a binary operator that is residuated with respect to disjunction.
Pattinson, Dirk, de Groot, Jim
core +1 more source
Digitally Printed Eco‐Friendly Electronic Devices
Advanced Functional Materials, EarlyView.Fabrication of electronics using eco‐friendly materials through digital printing routes is a promising strategy for improving life cycle sustainability and reducing the environmental impacts of conventional manufacturing. This review highlights state‐of‐the‐art eco‐friendly materials, green ink formulations, various resource‐efficient digital printing ...
Nitheesh M. Nair +5 more
wiley +1 more source
The Review of Symbolic LogicAbstract In previous publications, it was shown that finite non-deterministic matrices are quite powerful in providing semantics for a large class of normal and non-normal modal logics. However, some modal logics, such as those whose axiom systems contained the Löb axiom or the McKinsey formula, were not analyzed via non-deterministic
Marcelo E. Coniglio +2 more
openaire +2 more sources
Information and Computation, 2014 In this paper we present {\em refinement modal logic}. A refinement is like a bisimulation, except that from the three relational requirements only `atoms' and `back' need to be satisfied. Our logic contains a new operator 'all' in addition to the standard modalities 'box' for each agent.
Bozzelli, Laura +4 more
openaire +6 more sources
Distribution-Free Modal Logics: Sahlqvist–Van Benthem Correspondence
LogicsWe present an extension and generalization of Sahlqvist–van Benthem correspondence to the case of distribution-free modal logic, with, or without negation and/or implication connectives.
Chrysafis Hartonas
doaj +1 more source
Philosophia Scientiæ, 2015 In Hintikka's philosophy the notion of analyticity occupies a special place (e.g., [Hintikka 1973], [Hintikka 2007]); in particular, the Finnish thinker distinguishes two notions of analyticity—one based on the concept of information, the other on the ...
Francesca Poggiolesi
doaj +1 more source
On the connection between the categorical and the modal logic approaches to Quantum Mechanics [PDF]
, 2013 This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and Dynamic Quantum Logic. This is achieved in three steps.
Cinà, Giovanni
core
Advanced Functional Materials, EarlyView.Bioinspired Bouligand architectures are translated into biodegradable polymer laminates with integrated sensing, revealing how structural design governs multifunctional performance. A 20° interlayer rotation optimizes strength, flexibility, and electromechanical response, while embedded nanotube networks enable real‐time damage detection and wearable ...
Piotr K. Szewczyk +4 more
wiley +1 more source
, 2007 Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent.
Krister, Segerberg, Lindström, Sten,
core
Material Coupling in Hybrid Neuromorphic Devices: From Fundamentals to System‐Level Applications
Advanced Functional Materials, EarlyView.Hybrid neuromorphic devices utilize heterointerfaces between emerging semiconductors, where charge transfer and trapping, ion or defect modulation, and photogating are translated into synaptic functions. This paper discusses coupling strategies that tailor interfacial electronic and ionic properties in organic semiconductors, metal oxides, two ...
Minsu So +5 more
wiley +1 more source