A van Benthem theorem for atomic and molecular logics
From MaRDI portal
Publication:6659900
Cites work
- scientific article; zbMATH DE number 706263 (Why is no real title available?)
- scientific article; zbMATH DE number 2196606 (Why is no real title available?)
- A note on graded modal logic
- A van Benthem theorem for fuzzy modal logic
- A van Benthem/Rosen theorem for coalgebraic predicate logic
- Bisimulations for temporal logic
- Displaying updates in logic
- Hybrid logics: Characterization, interpolation and complexity
- Kripke models for linear logic
- Modal logic
- Modal logics of sabotage revisited
- Model-theoretic characterization of intuitionistic predicate formulas
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
- On generalized van Benthem-type characterizations
- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
- On the universality of atomic and molecular logics via protologics
- Substructural logics on display
- Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
- The Mathematics of Sentence Structure
- Towards universal logic: gaggle logics
- Towards universal logic: gaggle logics
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)
