Model theoretical aspects of weakly aggregative modal logic

DOI10.1007/S10849-022-09366-XMaRDI QIDQ2155209zbMATH OpenOpenAlexFDO

Authors Jixin Liu, Yifeng Ding, Yanjing Wang

Publication date 15 July 2022

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10849-022-09366-x

zbMATH Keywords

bisimulationCraig interpolationweakly aggregative modal logicvan Benthem-Rosen characterization

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

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)

• A Modal Extension of Weak Generalisation Predicate Logic
• Weak models of distributed computing, with connections to modal logic
• A solution to the completeness problem for weakly aggregative modal logic
• Weakly expressive models for Hoare logic

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)