research
∙
04/23/2023
Alternating (In)Dependence-Friendly Logic
Hintikka and Sandu originally proposed Independence Friendly Logic (IF) ...
share
research
∙
04/22/2023
The Logic of Prefixes and Suffixes is Elementary under Homogeneity
In this paper, we study the finite satisfiability problem for the logic ...
research
∙
09/19/2022
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification
This volume contains the proceedings of the 13th International Symposium...
research
∙
04/13/2021
Good-for-Game QPTL: An Alternating Hodges Semantics
An extension of QPTL is considered where functional dependencies among t...
research
∙
09/07/2017
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata
In the last years, various extensions of ω-regular languages have been p...
research
∙
07/17/2013