4 citations · 11 across the 11 of their papers we have counts for
6 papers · 1 filter
Finite Satisfiability of Two-Variable Logic with Arbitrarily Many Successors
Artur Jeż, Jakub Michaliszyn, Piotr Witkowski
We study finite satisfiability of two-variable first-order logic over structures equipped with an arbitrary finite number of independent successor relations of linear orders. The n…
"Most of" leads to undecidability: Failure of adding frequencies to LTL
Bartosz Bednarczyk, Jakub Michaliszyn
Linear Temporal Logic (LTL) interpreted on finite traces is a robust specification framework popular in formal verification. However, despite the high interest in the logic in rece…
Modular Path Queries with Arithmetic
Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
We propose a new approach to querying graph databases. Our approach balances competing goals of expressive power, language clarity and computational complexity. A distinctive featu…
Elementary Multimodal Logics
Jakub Michaliszyn
We study multimodal logics over universally first-order definable classes of frames. We show that even for bimodal logics, there are universal Horn formulas that define set of fram…
Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions
Alessio Lomuscio, Jakub Michaliszyn
The Epistemic Halpern-Shoham logic (EHS) is a temporal-epistemic logic that combines the interval operators of the Halpern-Shoham logic with epistemic modalities. The semantics of…
The Last Paper on the Halpern-Shoham Interval Temporal Logic
Jerzy Marcinkowski, Jakub Michaliszyn
The Halpern-Shoham logic is a modal logic of time intervals. Some effort has been put in last ten years to classify fragments of this beautiful logic with respect to decidability o…