Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Procedural Semantics for Hyperintensional Logic - Foundations and Applications of Transparent Intensional Logic
The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool… Expand
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Propositionalization-based relational subgroup discovery with RSD
Relational rule learning algorithms are typically designed to construct classification and prediction rules. However, relational… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Pragmatics and intensional logic
The word 'pragmatics' was used in Morris [1] for that branch of philosophy of language which involves, besides linguistic… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Modalities and intensional languages
The subject of this paper is the foundations of modal logic. By founda tions, we generally mean the underlying assumptions, the… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Efficient algorithms for mining outliers from large data sets
In this paper, we propose a novel formulation for distance-based outliers that is based on the distance of a point from its kth… Expand
  • table 1
  • figure 1
  • figure 3
  • figure 4
  • figure 5
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… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Semantics in generative grammar
Preface. 1. Truth-conditional Semantics and the Fregean Program. 2. Executing the Fregean Program. 3. Semantics and Syntax. 4… Expand
Is this relevant?
Highly Cited
1989
Highly Cited
1989
CLASSIC: a structural data model for objects
CLASSIC is a data model that encourages the description of objects not only in terms of their relations to other known objects… Expand
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Intensional Logic and the Metaphysics of Intentionality
In this book, Edward N. Zalta tackles the issues that arise in connection with intensional logic - a formal system for… Expand
Is this relevant?
Highly Cited
1967
Highly Cited
1967
Intensional Interpretations of Functionals of Finite Type I
  • W. Tait
  • J. Symb. Log.
  • 1967
    • Corpus ID: 9569863
 
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE