Modal logic with names
Copyright policy )Modal logic with names
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.
- University North Croatia
definability, deductive systems, general theory of names, modal frames, completeness, Modal logic (including the logic of norms), modal logic
definability, deductive systems, general theory of names, modal frames, completeness, Modal logic (including the logic of norms), modal logic
citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).119 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Top 10% influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 1% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Top 10%
Citations provided by BIP!Popularity provided by BIP!