Results 81 to 90 of about 152,005 (336)
Distribution-Free Normal Modal Logics
LogicsThis article initiates the semantic study of distribution-free normal modal logic systems, laying the semantic foundations and anticipating further research in the area. The article explores roughly the same area, though taking a different approach, as a
Chrysafis Hartonas
doaj +1 more source
Validity and Entailment in Modal and Propositional Dependence Logics [PDF]
Logical Methods in Computer Science, 2019 The computational properties of modal and propositional dependence logics have been extensively studied over the past few years, starting from a result by Sevenster showing NEXPTIME-completeness of the satisfiability problem for modal dependence logic ...
Miika Hannula
doaj +1 more source
The modal logic of inequality [PDF]
Journal of Symbolic Logic, 1992 AbstractWe consider some modal languages with a modal operator D whose semantics is based on the relation of inequality. Basic logical properties such as definability, expressive power and completeness are studied. Also, some connections with a number of other recent proposals to extend the standard modal language are pointed at.
openaire +4 more sources
Lithium‐Ion/Lithium Metal Hybrid Batteries Enabled by Lithio‐Amphiphilic Bilayer Protection
Advanced Functional Materials, EarlyView.Lithium‐ion/Lithium metal hybrid batteries couple intercalation and plating mechanisms, yet are plagued by lithium dendrite formation. Here, a lithio‐amphiphilic bilayer comprising silver (Ag)/chromium(Cr) thin films is sequentially deposited on the graphite anode.
Jihoon Oh +12 more
wiley +1 more source
On Paracomplete Versions of Jaśkowski's Discussive Logic
Bulletin of the Section of LogicJaśkowski's discussive (discursive) logic D2 is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic S5 via special ...
Krystyna Mruczek-Nasieniewska +2 more
doaj +1 more source
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
International Journal of Computational Intelligence Systems, 2020 This paper is a contribution to the study of two distinct kinds of logics for modelling uncertainty. Both approaches use logics with a two-layered modal syntax, but while one employs classical logic on both levels and infinitely-many multimodal operators,
Paolo Baldi +2 more
doaj +1 more source
Relation-Changing Logics as Fragments of Hybrid Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Relation-changing modal logics are extensions of the basic modal logic that allow changes to the accessibility relation of a model during the evaluation of a formula.
Carlos Areces +3 more
doaj +1 more source
Photoswitching Conduction in Framework Materials
Advanced Functional Materials, EarlyView.This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez +4 more
wiley +1 more source
Philosophia Scientiæ, 2011 Hugh MacColl is commonly seen as a pioneer of modal and many-valued logic, given his introduction of modalities that go beyond plain truth and falsehood.
Fabien Schang
doaj +1 more source
Locking Metastable Topological Domains in Nematic Liquid Crystal Pi Cells
Advanced Functional Materials, EarlyView.Selective photopolymerization in the presence of a controlled voltage defines permanent director walls that lock‐in metastable bend and twist configurations within nematic liquid crystal Pi cells. Q‐tensor simulations corroborate the experiments, demonstrating the topological state stabilization.
Adithya Pradeep +7 more
wiley +1 more source