4 citations · 6 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021★ 2 cited
Automata for dynamic answer set solving: Preliminary report
Pedro Cabalar, Martín Diéguez, Susana Hahn +1
We explore different ways of implementing temporal constraints expressed in an extension of Answer Set Programming (ASP) with language constructs from dynamic logic. Foremost, we i…
cs.LO2021
Some constructive variants of S4 with the finite model property
Philippe Balbiani, Martín Diéguez, David Fernández-Duque
The logics CS4 and IS4 are intuitionistic variants of the modal logic S4. Whether the finite model property holds for each of these logics has been a long-standing open problem. In…