Modal logic over finite structures

DOI10.1023/A:1008275906015zbMath0882.03014MaRDI QIDQ1371313

Eric Rosen

Publication date: 28 October 1997

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

finite modelspropositional modal logicpreservation theorems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40)

Related Items (18)

On Preservation Theorems for Two-Variable Logic ⋮ Modal and guarded characterisation theorems over finite transition systems ⋮ The monadic theory of finite representations of infinite words ⋮ Model theoretical aspects of weakly aggregative modal logic ⋮ Model theory of XPath on data trees. II: Binary bisimulation and definability ⋮ Bisimulation invariant monadic-second order logic in the finite ⋮ COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND ⋮ The finite model property for logics with the tangle modality ⋮ Unnamed Item ⋮ Characterization, definability and separation via saturated models ⋮ Bisimulation Invariant Monadic-Second Order Logic in the Finite ⋮ A quantified coalgebraic van Benthem theorem ⋮ SOME MODEL THEORY OF GUARDED NEGATION ⋮ Requirements, specifications, and minimal refinement ⋮ Unnamed Item ⋮ Modal characterisation theorems over special classes of frames ⋮ INQUISITIVE BISIMULATION ⋮ Schema Mappings: A Case of Logical Dynamics in Database Theory

This page was built for publication: Modal logic over finite structures