Abstract
AbstractThe core of this paper is Chagrova’s Theorems about first-order definability of given modal formulas and modal definability of given elementary conditions. We consider classes of frames for which modal definability is decidable and classes of frames for which first-order definability is trivial. We give a new proof of Chagrova’s Theorem about modal definability and sketches of proofs of new variants of Chagrova’s Theorem about modal definability.KeywordsFirst-order definabilityModal definabilityChagrova’s theorems
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
