3 papers
math.LO2018
Representation of lattice frames
Ivo Düntsch, Ewa Orłowska
The aim of this note is to characterize those doubly ordered frames which are embeddable into the canonical frame of its Urquhart complex algebr…
math.LO2018
On the semilattice of modal operators and decompositions of the discriminator
Ivo Düntsch, Wojciech Dzik, Ewa Orłowska
We investigate the join semilattice of modal operators on a Boolean algebra . Furthermore, we consider pairs of modal operators whose supremum is the unary discriminator…
cs.LO2018
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version)
Domenico Cantone, Marianna Nicolosi-Asmundo, Ewa Orłowska
We present a first result towards the use of entailment in- side relational dual tableau-based decision procedures. To this end, we introduce a fragment of RL(1) which admits a res…