notesum.ai

Published at November 11

Finite Variable Counting Logics with Restricted Requantification

cs.LO

cs.CC

Released Date: November 11, 2024

Authors: Simon Raßmann¹, Georg Schindling¹, Pascal Schweitzer¹

Aff.: ¹TU Darmstadt

Arxiv: http://arxiv.org/abs/2411.06944v1