Modal correspondence theory in the class of all Euclidean frames

DOI10.1093/LOGCOM/EXX033zbMath1444.03042OpenAlexW2791958079MaRDI QIDQ4684354

Dimiter T. Georgiev, Philippe Balbiani, Tinko Tinchev

Publication date: 28 September 2018

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://oatao.univ-toulouse.fr/22119/1/balbiani_22119.pdf

zbMATH Keywords

modal logicfirst-order logicfirst-order definabilitycorrespondence theorymodal definabilityEuclidean frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Frames, locales (06D22)

Related Items (1)

Decidable and Undecidable Problems for First-Order Definability and Modal Definability

This page was built for publication: Modal correspondence theory in the class of all Euclidean frames