bibliographer - Patrick Blackburn

bibliographer a curated TCS bibliography

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

Isabelle/HOL as a Meta-Language for Teaching Logic Asta Halkjær From Jørgen Villadsen Patrick Blackburn [github]

1 Modal logic: a semantic perspective Patrick Blackburn Johan van Benthem [github]

PDL for ordered trees Loredana Afanasiev Patrick Blackburn Ioanna Dimitriou Bertrand Gaiffe Evan Goris Maarten Marx Maarten de Rijke [github]

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

[show logs] [hide logs]