Results 271 to 280 of about 69,515 (313)

ON DEFINABILITY IN MULTIMODAL LOGIC

The Review of Symbolic Logic, 2009
Three notions of definability in multimodal logic are considered. Two are analogous to the notions of explicit definability and implicit definability introduced by Beth in the context of first-order logic. However, while by Beth’s theorem the two types of definability are equivalent for first-order logic, such an equivalence does not hold for ...
Dov Samet, Ella Segev, Joseph Y. Halpern
openaire   +2 more sources

Multimode quantum optical logic

Conference on Coherence and Quantum Optics, 2007
We embed qubits within simple two-mode states and effect a Fredkin gate by a resonant multi-photon interaction with an atom.
Barry M. Garraway, Mark S. Everitt
openaire   +2 more sources

A multimodal logic for reasoning about complementarity

Journal of Applied Non-Classical Logics, 2000
ABSTRACT Two objects o1, o2 of an information system are said to be complementary with respect to attribute a if α(o1) = -α(o2), where α(o) is the set of values of attribute a assigned to o. They are said to be complementary with respect to a set of attributes A if they are complementary with respect to each attribute α e A.
Ivo Düntsch, Beata Konikowska
openaire   +2 more sources

Special Issue on Multimodal Logics: A Preface

Logica Universalis, 2012
It is a fact that investigations of multimodality are currently an advanced area of inquiry within the immense field of intensional logic. A remarkable aspect of this growth is that important branches of modal logic have been shown to be reconstructable as branches of multimodal logic.
Walter Carnielli, Claudio Pizzi
openaire   +2 more sources

Multimode excitations for complex multifunctional logic device [PDF]

Journal of Micromechanics and Microengineering, 2019
The simplicity and prospect of energy efficiency of MEMS resonator-based computing devices have captivated considerable research interest in recent years. Hence, they are being explored for ultra-low power computing machines, which are currently needed for internet-of-things (IoT) applications.
S A Tella, M I Younis
openaire   +2 more sources

Multimodal identification using Markov logic networks

Face and Gesture 2011, 2011
Human robot interaction presents a unique set of challenges for biometric person identification. During normal interactions between the robot and a user, a tremendous amount of information is available for identification. Our objective is to use this information to identify users quickly and accurately during interactions with a robot.
Wallace Lawson, Eric Martinson
openaire   +2 more sources

Multimodal and intuitionistic logics in simple type theory

Logic Journal of IGPL, 2010
We study straightforward embeddings of propositional normal multimodal logic and propositional intuitionistic logic in simple type theory. The correctness of these embeddings is easily shown. We give examples to demonstrate that these embeddings provide an effective framework for computational investigations of various non-classical logics.
Christoph Benzmueller, Lawrence C. Paulson   +1 more
openaire   +2 more sources

Interval Type-2 Fuzzy Logic for Semisupervised Multimodal Hashing

IEEE Transactions on Cybernetics, 2021
Retrieving nearest neighbors across correlated data in multiple modalities, such as image-text pairs on Facebook and video-tag pairs on YouTube, has become a challenging task due to the huge amount of data. Multimodal hashing methods that embed data into binary codes can boost the retrieving speed and reduce storage requirements.
Dayong Tian, Deyun Zhou, Maoguo Gong, Yiwen Wei   +3 more
openaire   +3 more sources

Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection

2015
We present a satisfiability-preserving embedding of coalition logic into a normal modal logic. An advantage of standard, normal, and modal logics is a well-understood theoretical foundation and the availability of tools for automated verification and reasoning.
Natasha Alechina, Thomas Ågotnes, Thomas Ågotnes   +2 more
openaire   +2 more sources

Normal Multimodal Logics with Interaction Axioms

2000
In this paper we present a prefixed analytic tableau calculus for a wide class of normal multimodal logics; the calculus can deal in a uniform way with any logic in this class. To achieve this goal, we use a prefixed tableau calculus a la Fitting, where we explicitly represent accessibility relations between worlds by means of a graph and we use the ...
openaire   +3 more sources