bibliographer - Frank Wolter

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Computation and Size of Interpolants for Hybrid Modal Logics Jean Christoph Jung Jędrzej Kołodziejski Frank Wolter [github]

Decidable fragments of first-order modal logics Frank Wolter Michael Zakharyaschev [github]

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals Alessandro Artale Jean Christoph Jung Andrea Mazzullo Ana Ozaki Frank Wolter [github]

Logical Separability of Incomplete Data under Ontologies Jean Christoph Jung Carsten Lutz Hadrien Pulcini Frank Wolter [github]

Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment Jean Christoph Jung Frank Wolter [github]

Library Size: 13G (5 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]