Talk:Hybrid logic

From Wikipedia, the free encyclopedia

	Philosophy Portal This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details.
???	This article has not yet received a rating on the quality scale.
???	This article has not yet received an importance rating on the importance scale.
Additional information: Related task forces (core areas): Logic

How is @_ip any different than ?--SurrealWarrior 23:35, 31 March 2007 (UTC)

Consider for example @ vs @_a@_ip. In the first case it is only claimed that p holds in world 'i' if 'a' and 'i' happen to refer to the same world; in the second case there is the claim that p holds in 'i', regardless of what world 'a' refers to. (Note that it is a given each nominal refers to some world). I suppose you could look at it that @_ip claims that holds everywhere, rather than just at the point of evaluation (i.e. world 'a' in the example).