DOI10.2168/LMCS-5(2:2)2009zbMath1172.03011OpenAlexW3104252790MaRDI QIDQ3636801
Clemens Kupke, Eric Pacuit, Helle Hvid Hansen
Publication date: 30 June 2009
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2168/lmcs-5(2:2)2009
Iterated covariant powerset is not a monad,
Hennessy-Milner and van Benthem for instantial neighbourhood logic,
Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics,
Coalgebraic Geometric Logic: Basic Theory,
Model theoretical aspects of weakly aggregative modal logic,
A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC,
BISIMULATIONS FOR KNOWING HOW LOGICS,
Neighborhood Contingency Logic,
Evidence and plausibility in neighborhood structures,
Generic weakest precondition semantics from monads enriched with order,
To be announced,
Kantorovich functors and characteristic logics for behavioural distances,
Unnamed Item,
Lax Liftings and Lax Distributive Laws,
Coalgebraic semantics of modal logics: an overview,
Unnamed Item,
Dynamic logics of evidence-based beliefs,
A quantified coalgebraic van Benthem theorem,
Properties of saturation in monotonic neighbourhood models and some applications,
A Road to Ultrafilter Extensions,
Reasoning about Strategies,
INSTANTIAL NEIGHBOURHOOD LOGIC,
Correspondence, canonicity, and model theory for monotonic modal logics,
Monotonic distributive semilattices,
Neighbourhood Contingency Bisimulation,
Logical Dynamics of Evidence,
INQUISITIVE BISIMULATION,
Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus,
Lax extensions of coalgebra functors and their logic,
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics,
Generalized Quantifiers Meet Modal Neighborhood Semantics,
Modular sequent calculi for classical modal logics
