Expressive completeness through logically tractable models

DOI10.1016/j.apal.2013.06.017zbMath1320.03067OpenAlexW2035778661MaRDI QIDQ490672

Martin Otto

Publication date: 27 August 2015

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.06.017

zbMATH Keywords

modal logicexpressive completenessmodel theorypreservationfinite model theoryguarded logic

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Models with special properties (saturated, rigid, etc.) (03C50) Interpolation, preservation, definability (03C40) Other model constructions (03C30)

Related Items (2)

SOME MODEL THEORY OF GUARDED NEGATION ⋮ Guarded Negation

This page was built for publication: Expressive completeness through logically tractable models