Semantical characterizations for irreflexive and generalized modal languages

DOI10.1305/ndjfl/1179323264zbMath1131.03009OpenAlexW2047807747MaRDI QIDQ2472609

Kentaro Sato, Katsuhiko Sano

Publication date: 22 February 2008

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1179323264

zbMATH Keywords

finite model propertyGoldblatt-Thomason theoremfinite frame propertyirreflexivitycharacterization of modal definabilityextended modal model theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Interpolation, preservation, definability (03C40)

Related Items (1)

A Hybridization of Irreflexive Modal Logics

This page was built for publication: Semantical characterizations for irreflexive and generalized modal languages