Results 11 to 20 of about 129,892 (308)
Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study [PDF]
arXiv, 2009 In a case study we investigate whether off the shelf higher-order theorem provers and model generators can be employed to automate reasoning in and about quantified multimodal logics. In our experiments we exploit the new TPTP infrastructure for classical higher-order logic.
Christoph Benzmueller
arxiv +3 more sources
A linear logic framework for multimodal logics [PDF]
Mathematical Structures in Computer Science, 2022 AbstractOne of the most fundamental properties of a proof system is analyticity, expressing the fact that a proof of a given formula F only uses subformulas of F. In sequent calculus, this property is usually proved by showing that the $\mathsf{cut}$ rule is admissible, i.e., the introduction of the auxiliary lemma H in the reasoning “if H follows ...
Xavier, Bruno +2 more
openaire +4 more sources
Lattice-Based Graded Logic: A Multimodal Approach [PDF]
, 1992 Experts do not always feel very, comfortable when they have to give precise numerical estimations of certainty degrees. In this paper we present a qualitative approach which allows for attaching partially ordered symbolic grades to logical formulas. Uncertain information is expressed by means of parameterized modal operators. We propose a semantics for
Philippe Chatalic, Christine Froidevaux
+8 more sources
Multimodal Sarcasm Detection via Hybrid Classifier with Optimistic Logic
Journal of Telecommunications and Information Technology, 2022 This work aims to provide a novel multimodal sarcasm detection model that includes four stages: pre-processing, feature extraction, feature level fusion, and classification.
Dnyaneshwar Madhukar Bavkar +2 more
doaj +3 more sources
Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames [PDF]
arXiv, 2023 The paper investigates algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames or classes of finite Kripke frames. Precise complexity bounds for monadic logics of classes of Kripke frames with finitely many possible worlds are obtained.
Irina Agadzhanian +2 more
arxiv +3 more sources
Probability Logic for Harsanyi Type Spaces [PDF]
Logical Methods in Computer Science, 2014 Probability logic has contributed to significant developments in belief types for game-theoretical economics. We present a new probability logic for Harsanyi Type spaces, show its completeness, and prove both a de-nesting property and a unique extension ...
Chunlai Zhou
doaj +3 more sources
Theoretical Computer Science, 2006 AbstractWe give a framework for developing the least model semantics, fixpoint semantics, and SLD-resolution calculi for logic programs in multimodal logics whose frame restrictions consist of the conditions of seriality (i.e. ∀x∃yRi(x,y)) and some classical first-order Horn clauses.
Linh Anh Nguyen
openaire +3 more sources
Multimodal multi-instance evidence fusion neural networks for cancer survival prediction [PDF]
Scientific ReportsAccurate cancer survival prediction plays a crucial role in assisting clinicians in formulating treatment plans. Multimodal data, such as histopathological images, genomic data, and clinical information, provide complementary and comprehensive ...
Hui Luo +4 more
doaj +2 more sources
Kripke Completeness of Infinitary Predicate Multimodal Logics [PDF]
Notre Dame Journal of Formal Logic, 1999 Kripke completeness of some infinitary predicate modal logics is presented. More precisely, we prove that if a normal modal logic $ \bf L$ above $ \bf K$ is $ \cal {D}$-persistent and universal, the infinitary and predicate extension of $ \bf L$ with BF$\scriptstyle \omega_{{1}}$ and BF is Kripke complete, where BF$\scriptstyle \omega_{{1}}$ and BF ...
Yoshihito Tanaka
openaire +4 more sources
Multimodal Separation Logic for Reasoning About Operational Semantics [PDF]
Electronic Notes in Theoretical Computer Science, 2008 AbstractWe show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneous multimodal logic is a logic with several modal operators that are not required to satisfy the same frame conditions.
Andrew W. Appel +2 more
openaire +2 more sources