Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,244,232 papers from all fields of science
Search
Sign In
Create Free Account
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
Create Alert
Alert
Related topics
Related topics
18 relations
De Morgan's laws
Dynamic 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
M. Duží
,
Bjørn Jespersen
,
P. Materna
Logic, Epistemology, and the Unity of Science
2010
Corpus ID: 32128114
The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool…
Expand
Highly Cited
2004
Highly Cited
2004
Modalities and intensional languages
R. Marcus
Synthese
2004
Corpus ID: 46980733
The subject of this paper is the foundations of modal logic. By founda tions, we generally mean the underlying assumptions, the…
Expand
Highly Cited
2000
Highly Cited
2000
Efficient algorithms for mining outliers from large data sets
S. Ramaswamy
,
R. Rastogi
,
Kyuseok Shim
SIGMOD '00
2000
Corpus ID: 14588615
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
Highly Cited
1999
Highly Cited
1999
The Logic of Bunched Implications
P. O'Hearn
,
D. Pym
Bulletin of Symbolic Logic
1999
Corpus ID: 2948552
Abstract We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side…
Expand
Highly Cited
1998
Highly Cited
1998
Semantics in generative grammar
I. Heim
,
A. Kratzer
1998
Corpus ID: 57341324
Preface. 1. Truth-conditional Semantics and the Fregean Program. 2. Executing the Fregean Program. 3. Semantics and Syntax. 4…
Expand
Highly Cited
1996
Highly Cited
1996
OBSERVER: An Approach for Query Processing in Global Information Systems Based on Interoperation Across Pre-Existing Ontologies
E. Mena
,
A. Illarramendi
,
V. Kashyap
,
A. Sheth
Proceedings First IFCIS International Conference…
1996
Corpus ID: 7781836
There has been an explosion in the types, availability and volume of data accessible in an information system, thanks to the…
Expand
Highly Cited
1989
Highly Cited
1989
CLASSIC: a structural data model for objects
Alexander Borgida
,
R. Brachman
,
D. McGuinness
,
Lori Alperin Resnick
SIGMOD '89
1989
Corpus ID: 14354838
CLASSIC is a data model that encourages the description of objects not only in terms of their relations to other known objects…
Expand
Highly Cited
1988
Highly Cited
1988
Intensional Logic and the Metaphysics of Intentionality
D. Jacquette
,
E. Zalta
1988
Corpus ID: 170346035
In this book, Edward N. Zalta tackles the issues that arise in connection with intensional logic - a formal system for…
Expand
Review
1975
Review
1975
Intensional and Higher-Order Modal Logic, With Applications to Montague Semantics
D. Gallin
1975
Corpus ID: 118696122
intensional and higher order modal logic with applications intensional and higher order modal logic with applications intensional…
Expand
Highly Cited
1967
Highly Cited
1967
Intensional Interpretations of Functionals of Finite Type I
W. Tait
J. Symb. Log.
1967
Corpus ID: 9569863
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