The present paper is aimed at giving a conceptual exposition of the prin- ciples underlying correspondence theory, and at showing how these principles are uniformly at work across different logics and also across different semantics for the same logic
In this thesis we study correspondence and canonicity for non-classical logic using algebraic and or...
We show that the terminological logic ALC comprising Boolean operations on concepts and value restri...
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/42667/1/10659_2004_Article_BF00040846.p...
The present article aims at establishing formal connections between correspondence phenomena, well k...
This presentation reports on the results of [11], and focuses on the formal con-nections between cor...
Correspondence theory originally arises as the study of the relation between modal formulas and firs...
Unified correspondence theory. The contributions reported on in the proposed talk pertain to unified...
We develop the correspondence theory for the framework of atomic and molecular logics on the basis o...
The generalized correspondence principle is the assertion of something like the following methodolog...
Most physicists and physics students understand the correspondence principle as the requirement that...
The present paper proposes a new introductory treatment of the very well known Sahlqvist corresponde...
The article is an analysis of various versions of the correspondence theory of truth and shows that ...
this paper I briefly sketch recent work on meta-logical foundations that seems promising as a concep...
c ○ Copyright 2007 for the individual papers by the individual authors. Copying permitted for privat...
The chapter delineates a new approach to truth that falls under the category of 'pluralism within th...
In this thesis we study correspondence and canonicity for non-classical logic using algebraic and or...
We show that the terminological logic ALC comprising Boolean operations on concepts and value restri...
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/42667/1/10659_2004_Article_BF00040846.p...
The present article aims at establishing formal connections between correspondence phenomena, well k...
This presentation reports on the results of [11], and focuses on the formal con-nections between cor...
Correspondence theory originally arises as the study of the relation between modal formulas and firs...
Unified correspondence theory. The contributions reported on in the proposed talk pertain to unified...
We develop the correspondence theory for the framework of atomic and molecular logics on the basis o...
The generalized correspondence principle is the assertion of something like the following methodolog...
Most physicists and physics students understand the correspondence principle as the requirement that...
The present paper proposes a new introductory treatment of the very well known Sahlqvist corresponde...
The article is an analysis of various versions of the correspondence theory of truth and shows that ...
this paper I briefly sketch recent work on meta-logical foundations that seems promising as a concep...
c ○ Copyright 2007 for the individual papers by the individual authors. Copying permitted for privat...
The chapter delineates a new approach to truth that falls under the category of 'pluralism within th...
In this thesis we study correspondence and canonicity for non-classical logic using algebraic and or...
We show that the terminological logic ALC comprising Boolean operations on concepts and value restri...
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/42667/1/10659_2004_Article_BF00040846.p...
DOI
Add to ORKG