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)

Full work available at URL https://doi.org/10.1023/A:1008275906015

zbMATH Keywords

finite modelspreservation theoremspropositional modal logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1036761
• Some characterization and preservation theorems in modal logic
• scientific article; zbMATH DE number 834561
• Modal characterisation theorems over special classes of frames

Cited in

(48)

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

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)