Many-valued multi-modal logics, satisfiability problem
From MaRDI portal
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
Cites work
- scientific article; zbMATH DE number 1810488 (Why is no real title available?)
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 1222484 (Why is no real title available?)
- scientific article; zbMATH DE number 1759385 (Why is no real title available?)
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- Automata, Languages and Programming
- Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results
- Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents
- Linear temporal logic with until and next, logical consecutions
- Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
- Logical consecutions in discrete linear temporal logic
- Many-dimensional modal logics: theory and applications
- Model-theoretic inseparability and modularity of description logic ontologies
- Non-transitive linear temporal logic and logical knowledge operations
- Query and predicate emptiness in ontology-based data access
- Refined common knowledge logics or logics of common information
- Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Cited in
(7)- Extending the reach of SAT with many-valued logics
- The satisfiability problem in linear multi-agent knowledge logic based on \(\mathbb{N}\)
- AI 2003: Advances in Artificial Intelligence
- Multiagent temporal logics with multivaluations
- A quantitative method for multi-valued modal logics
- Satisfiability in a Temporal Multi-valueted Logic Based on Z
- Multi-agent logics with multi-valuations and intensional logical operations
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)
