Modal logic over finite structures
From MaRDI portal
Publication:1371313
DOI10.1023/A:1008275906015zbMath0882.03014MaRDI QIDQ1371313
Publication date: 28 October 1997
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
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
