Exemplaric Expressivity of Modal Logics
From MaRDI portal
coalgebradual adjunctionMarkov chainsMarkov processesmodal logicmultitransition systemstransition systems
Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Recommendations
- scientific article; zbMATH DE number 1499093
- scientific article; zbMATH DE number 1670490
- Expressivity in chain-based modal logics
- A substructural approach to explicit modal logic
- The expressive power of modal dependence logic
- Explicit non-normal modal logic
- Existential semantics for modal logic
- scientific article; zbMATH DE number 3859091
- Expressivity of second order propositional modal logic
- Modal bilattice logic and its extensions
Cited in
(31)- Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems
- Coalgebraic logics \& duality
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
- Structural operational semantics for continuous state stochastic transition systems
- Trace semantics via determinization
- Coalgebraic completeness-via-canonicity for distributive substructural logics
- Expressiveness of probabilistic modal logics: a gradual approach
- Expressivity of coalgebraic modal logic: the limits and beyond
- The Hart-Shelah example, in stronger logics
- Expressivity of Many-Valued Modal Logics, Coalgebraically
- On a categorical framework for coalgebraic modal logic
- Towards bialgebraic semantics for the linear time -- branching time spectrum
- Coalgebraic trace semantics via forgetful logics
- Coalgebraic logic over measurable spaces: behavioral and logical equivalence
- Coalgebraic logic over general measurable spaces -- a survey
- Stone-type dualities for separation logics
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
- Modal Expressivity and Definability over Sets
- Modalities in the Stone age: a comparison of coalgebraic logics
- Approximating Markov processes through filtration
- Expressive logics for coinductive predicates
- Smooth coalgebra: testing vector analysis
- Abstract hidden Markov models: a monadic account of quantitative information flow
- Foundations of Software Science and Computational Structures
- Duality of equations and coequations via contravariant adjunctions
- Coalgebraic Completeness-via-Canonicity
- Coalgebraic semantics of modal logics: an overview
- Many-valued coalgebraic logic over semi-primal varieties
- Minimisation in logical form
- Expressivity of quantitative modal logics categorical foundations via codensity and approximation
This page was built for publication: Exemplaric Expressivity of Modal Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3056297)
