Many-valued multi-modal logics, satisfiability problem

DOI10.17377/SEMI.2018.15.070zbMATH Open1436.03138MaRDI QIDQ1669939FDOQ1669939

Michael Alexandrovich Moor, Vladimir Rybakov

Publication date: 4 September 2018

Published in: Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 35414
• Many-Valued Modal Propositional Calculi
• Many-valued modal logics: a simple approach
• scientific article; zbMATH DE number 1678360
• Many-valued logics -- theorem proving problems
• Many-valued logics and bivalent modalities
• Many-valued logics
• scientific article; zbMATH DE number 1749199
• Many-valued logics
• scientific article; zbMATH DE number 560935

zbMATH Keywords

decidabilitymany-valued logicsatisfiabilitycomputabilitymulti-modal logicdeciding algorithmsmulti-agent logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Logic in computer science (03B70)

Cites Work

• Many-dimensional modal logics: theory and applications
• Title not available (Why is that?)
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Automata, Languages and Programming
• Model-theoretic inseparability and modularity of description logic ontologies
• Title not available (Why is that?)
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• Linear temporal logic with until and next, logical consecutions
• Logical consecutions in discrete linear temporal logic
• Title not available (Why is that?)
• Refined common knowledge logics or logics of common information
• Non-transitive linear temporal logic and logical knowledge operations
• Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
• Title not available (Why is that?)
• Query and predicate emptiness in ontology-based data access

Cited In (3)

• Extending the reach of SAT with many-valued logics
• The satisfiability problem in linear multi-agent knowledge logic based on \(\mathbb{N}\)
• Satisfiability in a Temporal Multi-valueted Logic Based on Z

This page was built for publication: Many-valued multi-modal logics, satisfiability problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1669939)