Modal logic with names
type: Item
instance of: scholarly article
title: Modal logic with names
zbMATH Open document ID: 0793.03012
DOI: 10.1007/BF01054038
author: George K. Gargov
author: Valentin Goranko
published in: Journal of Philosophical Logic
publication date: 1994-08-21T00:00:00Z
review text: The paper aims at some general theory of names in a purely modal environment. Names are properties that identify a single intensional object completely. The suggested language is a propositional modal language enriched by a general modality and names: special propositional variables that are allowed to be true at exactly one point of the universe only. This language turns out to be of great expressive power. Topics of the paper are (modal) definability and deductive systems in that language. Some completeness theorems are proved.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 482283
zbMATH Keywords: modal logic
zbMATH Keywords: modal frames
zbMATH Keywords: general theory of names
zbMATH Keywords: definability
zbMATH Keywords: deductive systems
zbMATH Keywords: completeness
reviewed by: Uwe Scheffler
MaRDI profile type: Publication
cites work: Canonical modal logics and ultrafilter extensions
cites work: Q4342096
cites work: Q3762292
cites work: An approach to tense logic1
cites work: Q5753927
cites work: Q3669373
cites work: An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
cites work: Q3478385
cites work: Determinism and looping in combinatory PDL
cites work: Q4694250
cites work: Q4128788
cites work: Axiomatising the logic of computer programming
cites work: Modal definability in enriched languages
cites work: Using the Universal Modality: Gains and Questions
cites work: Q3026978
cites work: Q3818306
cites work: An essay in combinatory dynamic logic
cites work: Modality and quantification in S5
cites work: The modal logic of inequality
cites work: Q4081211
cites work: Q4068699
full work available at URL: https://doi.org/10.1007/bf01054038
OpenAlex ID: W1981936535
description: scientific article; zbMATH DE number 482283