Modal logic over finite structures

DOI10.1023/A:1008275906015MaRDI QIDQ1371313zbMATH OpenFDO

Authors 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)

Recommendations

• Publication:4345015
• Some characterization and preservation theorems in modal logic
• Publication:4860647
• Modal characterisation theorems over special classes of frames

Cited in

(38)

• A quantified coalgebraic van Benthem theorem
• Modal Expressivity and Definability over Sets
• scientific article; zbMATH DE number 823603 (Why is no real title available?)
• Modal and guarded characterisation theorems over finite transition systems
• scientific article; zbMATH DE number 5640557 (Why is no real title available?)
• Finite-Chain Graded Modal Logic
• Satisfiability versus Finite Satisfiability in Elementary Modal Logics
• The finite model property for logics with the tangle modality
• Characterising modal formulas with examples
• Modal logic with bounded quantification over worlds
• Finite concrete logics: their structure and measures on them
• Model theory of XPath on data trees. II: Binary bisimulation and definability
• Bisimulation in inquisitive modal logic
• On modal logics of partial recursive functions
• Inf-datalog, Modal Logic and Complexities
• On Preservation Theorems for Two-Variable Logic
• scientific article; zbMATH DE number 7561479 (Why is no real title available?)
• Modal languages and bounded fragments of predicate logic
• scientific article; zbMATH DE number 2020180 (Why is no real title available?)
• scientific article; zbMATH DE number 1303428 (Why is no real title available?)
• Bisimulation Invariant Monadic-Second Order Logic in the Finite
• Modal characterisation theorems over special classes of frames
• Hereditarily structurally complete modal logics
• Finite model property of modal logics of finite depth
• Characterization, definability and separation via saturated models
• Model theoretical aspects of weakly aggregative modal logic
• scientific article; zbMATH DE number 1471992 (Why is no real title available?)
• Schema mappings: a case of logical dynamics in database theory
• COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND
• A modal logic of a truth definition for finite models
• Modal Logics with Counting
• INQUISITIVE BISIMULATION
• Modal Operators over Constructive Logic
• scientific article; zbMATH DE number 6302919 (Why is no real title available?)
• Requirements, specifications, and minimal refinement
• SOME MODEL THEORY OF GUARDED NEGATION
• The monadic theory of finite representations of infinite words
• Bisimulation invariant monadic-second order logic in the finite

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

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