257 citations · 421 across the 16 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
Alessandro Artale, Christopher Hampson, Roman Kontchakov +2
While modal extensions of decidable fragments of first-order logic are usually undecidable, their monodic counterparts, in which formulas in the scope of modal operators have at mo…
cs.AI2025
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
Alessandro Artale, Anton Gnatenko, Vladislav Ryzhikov +1
Our concern is the data complexity of answering linear monadic datalog queries whose atoms in the rule bodies can be prefixed by operators of linear temporal logic LTL. We first ob…