Avatar

bLogic.ink

Ink and Think!

  1. Home
  2. About
  3. Archives
  4. Search
    1. Dark Mode

Archives

2025 2

Categories

Application Theory

Tags

Code Competition Dynamic System Inductive Definitions Logic Programming Proofs Sequent Calculus Temporal Logic Verification
Featured image of post A Sequent Calculus for General Inductive Definitions
Theory

A Sequent Calculus for General Inductive Definitions

Robbe Van den Eede

Oct 29, 2025
16 minute read
Featured image of post Simple vehicle controller
Application

Simple vehicle controller

Đorđe Marković, Bart Bogaerts

Oct 29, 2025
13 minute read
© 2025 bLogic.ink
Ink and Think!
We don’t use cookies. We do use GoatCounter, a privacy-friendly open-source analytics tool, to understand which posts are getting attention. If you’re using an ad blocker, please consider disabling it for this site—otherwise the counter might not register your visit.
Built with Hugo
Theme Stack designed by Jimmy