Many-valued multi-modal logics, satisfiability problem

DOI10.17377/SEMI.2018.15.070zbMath1436.03138MaRDI QIDQ1669939

Michael Alexandrovich Moor, Vladimir Vladimirovich Rybakov

Publication date: 4 September 2018

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

zbMATH Keywords

decidabilitymany-valued logicsatisfiabilitycomputabilitymulti-modal logicdeciding algorithmsmulti-agent logic

Mathematics Subject Classification ID

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

Related Items (1)

Satisfiability in a Temporal Multi-valueted Logic Based on Z

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
• Linear temporal logic with until and next, logical consecutions
• Refined common knowledge logics or logics of common information
• Many-dimensional modal logics: theory and applications
• Model-theoretic inseparability and modularity of description logic ontologies
• Query and Predicate Emptiness in Ontology-Based Data Access
• Non-transitive linear temporal logic and logical knowledge operations
• Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
• Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Automata, Languages and Programming
• Logical consecutions in discrete linear temporal logic

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