Modal logic with names (Q1310624)
From MaRDI portal
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
