activity
20062025
most citedAlgorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

93 citations · 212 across the 18 of their papers we have counts for

collaborators
Showing 2018Show all

3 papers · 1 filter

math.LO2018★ 9 cited

Goldblatt-Thomason for LE-logics

Willem Conradie, Alessandra Palmigiano, Apostolos Tzimoulis

We prove a uniform version of the Goldblatt-Thomason theorem for logics algebraically captured by normal lattice expansions (normal LE-logics).

cs.LO2018

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)

Willem Conradie, Salih Durhan, Guido Sciavicco

There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points a…

cs.LO2018

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)

Willem Conradie, Salih Durhan, Guido Sciavicco

There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points a…