Towards a generalization of modal definability

DOI10.1007/978-3-642-31467-4_9MaRDI QIDQ5200467zbMATH OpenOpenAlexFDO

Authors Tin Perkov

Publication date 6 November 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-31467-4_9

zbMATH Keywords

modal logicmodel theorymodal definability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• A generalization of modal frame definability
• scientific article; zbMATH DE number 1749143
• Notes on modal definability
• Some characterization and preservation theorems in modal logic
• Characterizations of negative definability in modal logic

Cited in

(23)

• Modal languages for topology: expressivity and definability
• Modal Undefinability in Some Alternative Leibnizian Frames
• The Modal Formula (†) $\square \diamondsuit p \supset \square \diamondsuit \square \diamondsuit p$ Is Not First-Order Definable
• Elementary definability and completeness in general and positive modal logic
• scientific article; zbMATH DE number 1749143 (Why is no real title available?)
• On characterization, definability and \(\omega \)-saturated models
• Some characterization and preservation theorems in modal logic
• Notes on modal definability
• Semantics and computation of the generalized modus ponens: The long paper
• Generalized Modal Satisfiability
• scientific article; zbMATH DE number 4066842 (Why is no real title available?)
• Definability in the class of all KD45-frames -- computability and complexity
• Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic
• Modal sequents and definability
• Modal definability based on Łukasiewicz validity relations
• Existential definability of modal frame classes
• A generalization of modal frame definability
• ON DEFINABILITY IN MULTIMODAL LOGIC
• Modal Expressivity and Definability over Sets
• scientific article; zbMATH DE number 4039872 (Why is no real title available?)
• Characterization, definability and separation via saturated models
• On the modal definability of simulability by finite transitive models
• Definability Over the Class of all Partitions

This page was built for publication: Towards a generalization of modal definability

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