Results 281 to 290 of about 69,515 (313)

A Tableau Calculus for Multimodal Logics and Some (Un)Decidability Results [PDF]

, 1998
In this paper we present a prefixed analytic tableau calculus for a class of normal multimodal logics and we present some results about decidability and undecidability of this class. The class is characterized by axioms of the form [t 1] ... [t n]ϕ ⊃ [s 1] ... [s m]ϕ, called inclusion axioms, where the t i’s and s j’s are constants.
BALDONI, Matteo, GIORDANO, Laura, MARTELLI, Alberto   +2 more
openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Modified Tableaux for Some Kinds of Multimodal Logics

2016
A multimodal logic is a logic where a certain number of different modal operators appear. In some of these logics we can have at our disposal a labeled tableaux method whereby different modal operators give rise to different labels. The properties of the accessibility relations, in the semantic view, may be treated by means of what we call inheritance ...
Emilio Gómez-Caminero, Ángel Nepomuceno   +1 more
openaire   +2 more sources

Multimodal epistemic Łukasiewicz logics with application in immune system

Soft Computing, 2015
We offer a new logic, a multimodal epistemic ?ukasiewicz logic, which is an extension of the infinitely valued ?ukasiewicz logic, the language of the logic is an extended by unary connectives that are interpreted as modal operators (knowledge operators). We propose the use such a logic in studying immune system.
Nunu Mitskevich, Antonio Di Nola, Revaz Grigolia   +2 more
openaire   +2 more sources

A resolution method for a non monotonic multimodal logic

2005
In this paper we present a resolution method for a non monotonic multimodal logic: Hypothesis Theory. As we define a resolution method, we need modal formula to be in clausal normal form. But an important problem with modal logic is that there is no such simple normal form than in classical logic.
openaire   +2 more sources

Towards Fuzzy Logic Based Multimodal Speech Filtering

2015
After an investigation of state-of-the-art research in Chap. 3, Chap. 4 proposed a new two-stage audiovisual speech enhancement system that makes use of both audio and visual information to filter speech. The results of comprehensive testing in Chap. 5, identified a number of key strengths and weaknesses.
Andrew Abel, Amir Hussain
openaire   +2 more sources

Lattice-valued possibility measures on the basis of multimodal logic

Proceedings of the 36th SICE Annual Conference. International Session Papers, 2002
Although the consideration of L-fuzzy sets shows that the membership values may not be limited to the unit interval, such an extension of the possibility measure has not been studied. The aim of the present paper is to show that an extension to lattice-valued possibility measures is possible, and moreover the extension is done by applying multimodal ...
openaire   +2 more sources

The contemporary management of peritoneal metastasis: A journey from the cold past of treatment futility to a warm present and a bright future

Ca-A Cancer Journal for Clinicians, 2023
Jason M Foster, Chunmeng Zhang
exaly  

Manipulating Intratumoral Fenton Chemistry for Enhanced Chemodynamic and Chemodynamic‐Synergized Multimodal Therapy

Advanced Materials, 2021
Fei He, Xiaolin Huang, Xiaoyuan Chen
exaly  

Integrated analysis of multimodal single-cell data

Cell, 2021
Madeline J Lee, Lamar Ballweber-fleming, Yuhan Hao   +2 more
exaly  

Multimodal logics for musical grammars

Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2023-2024.
openaire   +1 more source