We investigate a recently devised polyhedral semantics for intermediate logics, in which
formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally …

This thesis explores a newly-defined polyhedral semantics for intuitionistic and modal logics.
Formulas are interpreted inside the Heyting algebra of open subpolyhedra of a polyhedron …

A new algorithm for incrementally generating counterexamples for the temporal description
logic ALCCTL is presented. ALCCTL is a decidable combination of the description logic ALC …

Polyhedral semantics is a recently introduced branch of spatial modal logic, in which modal
formulas are interpreted as piecewise linear subsets of an Euclidean space. Polyhedral …

We investigate a recent semantics for intermediate (and modal) logics in terms of polyhedra.
The main result is a finite axiomatisation of the intermediate logic of the class of all polytopes …

It is a celebrated result of McKinsey and Tarski [28] that S4 is the logic of the closure algebra
Χ+ over any dense-in-itself separable metrizable space. In particular, S4 is the logic of the …

We investigate a recently-devised polyhedral semantics for intermediate logics, in which
formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally …

LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA Page 1 THE REVIEW OF
SYMBOLIC LOGIC Volume 10, Number 1, March 2017 LOGICS ABOVE S4 AND THE LEBESGUE …

Perhaps the most celebrated topological completeness result in modal logic is the McKinsey-
Tarski theorem that if we interpret modal diamond as topological closure, then S4 is …