Goldblatt-Thomason for LE-logics

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1809.08225 v1 pith:HCO6ESZC submitted 2018-09-21 math.LO

Willem Conradie , Alessandra Palmigiano , Apostolos Tzimoulis This is my paper · ORCID

classification math.LO

keywords goldblatt-thomasonle-logicsnormalalgebraicallycapturedexpansionslatticelogics

verification ladder T0 review T1 audit T2 compute T3 formal

No signed human review yet.

0 comments

read the original abstract

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

Forward citations

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Vector spaces as Kripke frames
cs.LO 2019-08 accept novelty 7.0 of 10

Vector spaces equipped with a bilinear product are shown to form Kripke-style frames whose subspace lattices are complete residuated lattices, yielding a complete vector space semantics for the modal non-associative L...
Modelling socio-political competition
math.LO 2019-08 conditional novelty 6.0 of 10

A many-valued, multi-type modal logic for socio-political competition is axiomatized and proven complete with respect to graph-based semantics over enriched reflexive graphs.
The logic of vague categories
math.LO 2019-08 conditional novelty 4.0 of 10

The basic normal lattice-based modal logic is sound and complete with respect to many-valued enriched formal contexts, with an illustrative proposal for analyzing multi-market competition.