Semantical characterizations for irreflexive and generalized modal languages

DOI10.1305/NDJFL/1179323264MaRDI QIDQ2472609zbMATH OpenOpenAlexFDO

Authors Katsuhiko Sano, Kentaro Sato

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

characterization of modal definabilityextended modal model theoryfinite frame propertyfinite model propertyGoldblatt-Thomason theoremirreflexivity

Mathematics Subject Classification ID

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

Recommendations

• A hybridization of irreflexive modal logics
• Modal definability in enriched languages
• scientific article; zbMATH DE number 4066842
• scientific article; zbMATH DE number 218547
• Modal characterisation theorems over special classes of frames

Cited in

(2)

• On generalized van Benthem-type characterizations
• A hybridization of irreflexive modal logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2472609)