Hybrid languages
type: Item
instance of: scholarly article
title: Hybrid languages
zbMATH Open document ID: 0847.03009
DOI: 10.1007/BF01049415
author: Patrick Blackburn
author: Jerry Seligman
published in: Journal of Logic, Language and Information
publication date: 1996-03-17T00:00:00Z
review text: Settling that the modal language is one of the means describing relational structures, the authors enrich it by operators explicitly ``speaking'' about some properties of these structures. Expressive relations of the obtained languages become clear. It is proved that logics of the subtended semantics of the languages are undecidable and make it possible ``to feel'' finiteness of a model.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 856769
zbMATH Keywords: modal logic
zbMATH Keywords: expressive relations
zbMATH Keywords: relational structures
zbMATH Keywords: semantics
zbMATH Keywords: undecidable
zbMATH Keywords: finiteness of a model
reviewed by: Alexander Vasil'evich Chagrov
MaRDI profile type: Publication
cites work: Towards a general theory of action and time
cites work: Nominal tense logic
cites work: An approach to tense logic1
cites work: Q4837948
cites work: Modal logic with names
cites work: Q4518420
cites work: Using the Universal Modality: Gains and Questions
cites work: Q3313253
cites work: PDL with data constants
cites work: Q3699665
cites work: An essay in combinatory dynamic logic
cites work: Q5556395
cites work: Q5636857
cites work: The modal logic of inequality
cites work: Determiners and logic
full work available at URL: https://doi.org/10.1007/bf01049415
OpenAlex ID: W4256000740
description: scientific article; zbMATH DE number 856769