Towards a Generalization of Modal Definability

DOI10.1007/978-3-642-31467-4_9zbMATH Open1372.03041OpenAlexW110592309MaRDI QIDQ5200467FDOQ5200467

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)

Cited In (9)

• Modal Undefinability in Some Alternative Leibnizian Frames
• Title not available (Why is that?)
• Elementary definability and completeness in general and positive modal logic
• Some characterization and preservation theorems in modal logic
• Generalized Modal Satisfiability
• Semantics and computation of the generalized modus ponens: The long paper
• Existential definability of modal frame classes
• Modal Expressivity and Definability over Sets
• Title not available (Why is that?)

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)