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

Related topics

Related topics

18 relations
De Morgan's lawsDynamic logic (modal logic)Extension (semantics)First-order logic
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
First-order intensional logic
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
Exchanging Intensional XML Data
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
NetWORKers and their Activity in Intensional Networks
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
The logic of bunched implications
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
An Intensional Schrödinger Logic
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
Compiling Polymorphism Using Intensional Type Analysis
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this… (More)
Is this relevant?
1995
1995
Theorem proving for intensional logic
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
SNePS Considered as a Fully Intensional Propositional Semantic Network
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
Intensional Concepts in Propositional Semantic Networks
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
Making Computational Sense of Montague's Intensional Logic
Montague's dlfficuit notation and complex model theory have tended to obscure potential insights for tlu computer scientist s… (More)
Is this relevant?