Model theoretical aspects of weakly aggregative modal logic

DOI10.1007/S10849-022-09366-XOpenAlexW4229083008MaRDI QIDQ2155209FDOQ2155209

Yifeng Ding, Jixin Liu, 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

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

zbMATH Keywords

bisimulationCraig interpolationweakly aggregative modal logicvan Benthem-Rosen characterization

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Logics of communication and change
• Intensional logics without iterative axioms
• The semantics of entailment. II
• The semantics of entailment. III
• Modal languages and bounded fragments of predicate logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Elements of finite model theory.
• Handbook of modal logic
• Tools and techniques in modal logic
• Title not available (Why is that?)
• Non-adjunctive inference and classical modalities
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Uniform interpolation for monotone modal logic
• The many faces of interpolation
• Harmonious logic: Craig's interpolation theorem and its descendants
• Graded modalities. I
• On the ternary relation and conditionality
• Generalized quantifiers and modal logic
• In so many possible worlds
• Graded modalities. II. (Canonical models)
• Some remarks on (weakly) weak modal logics
• Modal logic over finite structures
• A logic of goal-directed knowing how
• Uniform Interpolation in Coalgebraic Modal Logic.
• INSTANTIAL NEIGHBOURHOOD LOGIC
• Universal First‐Order Definability in Modal Logic
• Title not available (Why is that?)
• On the completeness of first degree weakly aggregative modal logics
• A solution to the completeness problem for weakly aggregative modal logic
• Revisiting completeness for the Kn modal logics: a new proof
• The Logic of Exact Covers: Completeness and Uniform Interpolation
• CONTINGENCY AND KNOWING WHETHER
• Hypergraphs, local reasoning, and weakly aggregative modal logic
• Weakly aggregative modal logic: characterization and interpolation
• Title not available (Why is that?)
• Title not available (Why is that?)

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)