First-order dynamic logic 2026-02-15T19:12:56+03:00 DEBUG: VuFind\ILS\Driver\Folio: Token taken from global cache: eyJhbGciOiJIUzI1NiJ9.eyJzdWIiO... - Harel, David, 1950 (Lecture notes in computer science ;, 1979)