Skip to search formSkip to main contentSkip to account menu

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool… 
Highly Cited
2004
Highly Cited
2004
The subject of this paper is the foundations of modal logic. By founda tions, we generally mean the underlying assumptions, the… 
Highly Cited
2000
Highly Cited
2000
In this paper, we propose a novel formulation for distance-based outliers that is based on the distance of a point from its kth… 
Highly Cited
1999
Highly Cited
1999
Abstract We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side… 
Highly Cited
1998
Highly Cited
1998
Preface. 1. Truth-conditional Semantics and the Fregean Program. 2. Executing the Fregean Program. 3. Semantics and Syntax. 4… 
Highly Cited
1996
Highly Cited
1996
There has been an explosion in the types, availability and volume of data accessible in an information system, thanks to the… 
Highly Cited
1989
Highly Cited
1989
CLASSIC is a data model that encourages the description of objects not only in terms of their relations to other known objects… 
Highly Cited
1988
Highly Cited
1988
In this book, Edward N. Zalta tackles the issues that arise in connection with intensional logic - a formal system for… 
Review
1975
Review
1975
intensional and higher order modal logic with applications intensional and higher order modal logic with applications intensional… 
Highly Cited
1967
Highly Cited
1967
  • W. Tait
  • J. Symb. Log.
  • 1967
  • Corpus ID: 9569863