Intensional logic

Known as: Intensional 
Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
First-order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
XML is becoming the universal format for data exchange between applications. Recently, the emergence of Web services as standard… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Through ethnographic research, we document therise of personal social networks in theworkplace, which we call intensionalnetworks… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side… (More)
Is this relevant?
1997
1997
Weinvestigate the higher-order modal logic SωI , which is a variant of the systemSω presented in our previous work. A semantics… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this… (More)
Is this relevant?
1995
1995
For a number of tasks in knowledge representation, and particularly in natural language semantics, it is useful to be able to… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
W’e present a formal s\ ntax and semantics for SNePS considered as the (modeled) mind of a cogn:ti\e agent. The semantics is… (More)
Is this relevant?
Highly Cited
1982
Highly Cited
1982
An integrated statement is made concerning the semantic status of nodes in a propositional semantic network, claiming that such… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
1977
1977
Montague's dlfficuit notation and complex model theory have tended to obscure potential insights for tlu computer scientist s… (More)
Is this relevant?