A van Benthem theorem for atomic and molecular logics
From MaRDI portal
Publication:6659900
DOI10.4204/EPTCS.358.7MaRDI QIDQ6659900FDOQ6659900
Authors: Guillaume Aucher 
Publication date: 9 January 2025
Cites Work
- Modal logic
- Title not available (Why is that?)
- Kripke models for linear logic
- Substructural logics on display
- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
- The Mathematics of Sentence Structure
- Hybrid logics: Characterization, interpolation and complexity
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- Model-theoretic characterization of intuitionistic predicate formulas
- On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
- A note on graded modal logic
- Bisimulations for temporal logic
- Modal logics of sabotage revisited
- Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
- Title not available (Why is that?)
- Displaying updates in logic
- A van Benthem/Rosen theorem for coalgebraic predicate logic
- A van Benthem theorem for fuzzy modal logic
- On the universality of atomic and molecular logics via protologics
- Towards universal logic: gaggle logics
- Towards universal logic: gaggle logics
- On generalized van Benthem-type characterizations
This page was built for publication: A van Benthem theorem for atomic and molecular logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6659900)
