Add to ORKGOften when we do philosophy we want to define less well understood notions with which we are concerned in terms of those which we have a much firmer grasp on. Hence, to take a classical example, we often try to define knowledge in terms of belief (and some auxiliary notions such as truth, justification and so on). Such definitions give rise to translations, functions which map the terms to be explained to their intended (simpler) explanation, and it is these which are our objects of study. In particular we will be focused on providing a systematic study of the formal uses of translations between logics, and what they can tell us about the logics involved. Our focus will be on propositional modal logics, both for reasons of explanatory simpl...
In this paper we present a translation principle, called the \emph{axiomatic translation}, for reduc...
In this paper we present a translation principle, called the \emph{axiomatic translation}, for reduc...
In this paper we present a translation principle, called the \emph{axiomatic translation}, for reduc...
Often when we do philosophy we want to define less well understood notions with which we are concern...
The definitions of propositional modal logic are traditionally formulated in the following way. 1 Fi...
A general framework for translating logical formulae from one logic into another logic is presented....
Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophic...
In this paper we present a translation principle, called the axiomatic translation, for reducing pro...
A general framework for translating logical formulae from one logic into another logic is presented....
This paper gives an overview on translation methods we have developed for non-classical logics, in p...
This paper gives an overview on translation methods we have developed for non-classical logics, in p...
This paper gives an overview on translation methods we have developed for non-classical logics, in p...
This paper gives an overview on translation methods we have developed for non-classical logics, in p...
A general framework for translating logical formulae from one logic into \u000Aanother logic is pres...
A general framework for translating logical formulae from one logic into \u000Aanother logic is pres...
In this paper we present a translation principle, called the \emph{axiomatic translation}, for reduc...
In this paper we present a translation principle, called the \emph{axiomatic translation}, for reduc...
In this paper we present a translation principle, called the \emph{axiomatic translation}, for reduc...
Often when we do philosophy we want to define less well understood notions with which we are concern...
The definitions of propositional modal logic are traditionally formulated in the following way. 1 Fi...
A general framework for translating logical formulae from one logic into another logic is presented....
Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophic...
In this paper we present a translation principle, called the axiomatic translation, for reducing pro...
A general framework for translating logical formulae from one logic into another logic is presented....
This paper gives an overview on translation methods we have developed for non-classical logics, in p...
This paper gives an overview on translation methods we have developed for non-classical logics, in p...
This paper gives an overview on translation methods we have developed for non-classical logics, in p...
This paper gives an overview on translation methods we have developed for non-classical logics, in p...
A general framework for translating logical formulae from one logic into \u000Aanother logic is pres...
A general framework for translating logical formulae from one logic into \u000Aanother logic is pres...
In this paper we present a translation principle, called the \emph{axiomatic translation}, for reduc...
In this paper we present a translation principle, called the \emph{axiomatic translation}, for reduc...
In this paper we present a translation principle, called the \emph{axiomatic translation}, for reduc...