59 citations · 140 across the 19 of their papers we have counts for
24 papers
COOL 2 -- A Generic Reasoner for Modal Fixpoint Logics
Oliver Görlitz, Daniel Hausmann, Merlin Humml +3
There is a wide range of modal logics whose semantics goes beyond relational structures, and instead involves, e.g., probabilities, multi-player games, weights, or neighbourhood st…
The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies
Merlin Humml, Lutz Schröder, Dirk Pattinson
Alternating-time temporal logic (ATL) and its extensions, including the alternating-time -calculus (AMC), serve the specification of the strategic abilities of coalitions of age…
Uniform Interpolation in Coalgebraic Modal Logic
Fatemeh Seifan, Lutz Schröder, Dirk Pattinson
A logic has uniform interpolation if its formulas can be projected down to given subsignatures, preserving all logical consequences that do not mention the removed symbols; the wea…
Hennessy-Milner Properties via Topological Compactness
Jim de Groot, Dirk Pattinson
We give Hennessy-Milner classes for intuitionistic, dual-intuitionistic and bi-intuitionistic logic interpreted in intuitionistic Kripke models, and generalise these results to mod…
Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
Jim de Groot, Tadeusz Litak, Dirk Pattinson
Heyting-Lewis Logic is the extension of intuitionistic propositional logic with a strict implication connective that satisfies the constructive counterparts of axioms for strict im…
Modal meet-implication logic
Jim de Groot, Dirk Pattinson
We extend the meet-implication fragment of propositional intuitionistic logic with a meet-preserving modality. We give semantics based on semilattices and a duality result with a s…