Modal correspondence theory in the class of all Euclidean frames
type: Item
instance of: scholarly article
title: Modal correspondence theory in the class of all Euclidean frames
zbMATH Open document ID: 1444.03042
author: Philippe Balbiani
author: Dimiter T. Georgiev
author: Tinko Tinchev
publication date: 2018-09-28T00:00:00Z
full work available at URL: balbiani 22119.pdf
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 06D22
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 6945510
zbMATH Keywords: modal logic
zbMATH Keywords: first-order logic
zbMATH Keywords: correspondence theory
zbMATH Keywords: first-order definability
zbMATH Keywords: modal definability
zbMATH Keywords: Euclidean frames
MaRDI profile type: Publication
OpenAlex ID: W2791958079
DOI: 10.1093/LOGCOM/EXX033
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 6945510