1k citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Goddard Space Flight CenterUS21 papers
- Centre National de la Recherche ScientifiqueFR18 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR18 papers
- Astrophysique, Instrumentation et ModélisationFR17 papers
- Max Planck Institute for Radio AstronomyDE17 papers
- Universities Space Research AssociationUS17 papers
- National Institute for AstrophysicsIT16 papers
- University of Maryland, College ParkUS16 papers
- University of PaduaIT16 papers
- University of Rome Tor VergataIT16 papers
- CEA Paris-SaclayFR15 papers
- Friedrich-Alexander-Universität Erlangen-NürnbergDE15 papers
6 papers · 1 filter
Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth
Isolde Adler, Eva Fluck, Tim Seppelt +1
We study the expressive power of first-order logic with counting quantifiers, especially the -variable and quantifier-rank- fragment, using homomorphism indistinguishability.…
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
Jonas Bayer, Aleksey Gonus, Christoph Benzmüller +1
This paper presents meta-logical investigations based on category theory using the proof assistant Isabelle/HOL. We demonstrate the potential of a free logic based shallow semantic…
Solving Quantified Modal Logic Problems by Translation to Classical Logics
Alexander Steen, Geoff Sutcliffe, Christoph Benzmüller
This article describes an evaluation of Automated Theorem Proving (ATP) systems on problems taken from the QMLTP library of first-order modal logic problems. Principally, the probl…
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic
Dominik Klein, Rasmus K. Rendsvig
The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements…
Modal Interface Automata
Gerald Lüttgen, Walter Vogler
De Alfaro and Henzinger's Interface Automata (IA) and Nyman et al.'s recent combination IOMTS of IA and Larsen's Modal Transition Systems (MTS) are established frameworks for speci…
An Algebra of Synchronous Scheduling Interfaces
Michael Mendler
In this paper we propose an algebra of synchronous scheduling interfaces which combines the expressiveness of Boolean algebra for logical and functional behaviour with the min-max-…