Model theoretical aspects of weakly aggregative modal logic
From MaRDI portal
Publication:2155209
Recommendations
- Interpolation in weakly transitive modal logics
- A solution to the completeness problem for weakly aggregative modal logic
- Interpolation properties in the extensions of the logic of inequality
- Decidability of some interpolation properties for weakly transitive modal logics
- Interpolation and amalgamation; pushing the limits. I
Cites work
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- scientific article; zbMATH DE number 3485746 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 834561 (Why is no real title available?)
- A logic of goal-directed knowing how
- A solution to the completeness problem for weakly aggregative modal logic
- Conditionally knowing what
- Contingency and knowing whether
- Elements of finite model theory.
- Generalized quantifiers and modal logic
- Graded modalities. I
- Graded modalities. II. (Canonical models)
- Handbook of modal logic
- Harmonious logic: Craig's interpolation theorem and its descendants
- Hypergraphs, local reasoning, and weakly aggregative modal logic
- In so many possible worlds
- Instantial neighbourhood logic
- Intensional logics without iterative axioms
- Logics of communication and change
- Modal languages and bounded fragments of predicate logic
- Modal logic
- Modal logic over finite structures
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- Non-adjunctive inference and classical modalities
- On the completeness of first degree weakly aggregative modal logics
- On the ternary relation and conditionality
- Revisiting completeness for the Kn modal logics: a new proof
- Some remarks on (weakly) weak modal logics
- The logic of exact covers: completeness and uniform interpolation
- The many faces of interpolation
- The semantics of entailment. II
- The semantics of entailment. III
- Tools and techniques in modal logic
- Uniform interpolation for monotone modal logic
- Uniform interpolation in coalgebraic modal logic
- Universal First‐Order Definability in Modal Logic
- Weakly aggregative modal logic: characterization and interpolation
- ``Knowing value logic as a normal modal logic
Cited in
(4)
This page was built for publication: Model theoretical aspects of weakly aggregative modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2155209)