Modal logic with names (Q1310624): Difference between revisions
From MaRDI portal
Removed claims |
Set OpenAlex properties. |
||
| (3 intermediate revisions by 3 users not shown) | |||
| Property / author | |||
| Property / author: Valentin F. Goranko / rank | |||
Normal rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Uwe Scheffler / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Canonical modal logics and ultrafilter extensions / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4342096 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3762292 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An approach to tense logic<sup>1</sup> / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5753927 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3669373 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3478385 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Determinism and looping in combinatory PDL / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4694250 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4128788 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Axiomatising the logic of computer programming / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Modal definability in enriched languages / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Using the Universal Modality: Gains and Questions / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3026978 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3818306 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An essay in combinatory dynamic logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Modality and quantification in S5 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The modal logic of inequality / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4081211 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4068699 / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf01054038 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1981936535 / rank | |||
Normal rank | |||
Latest revision as of 10:01, 30 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modal logic with names |
scientific article |
Statements
Modal logic with names (English)
0 references
21 August 1994
0 references
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.
0 references
modal logic
0 references
modal frames
0 references
general theory of names
0 references
definability
0 references
deductive systems
0 references
completeness
0 references
