M. Kracht and F. Wolter. Simulation and transfer results in modal logic: A survey. Studia Logica, 59:149--177, 1997.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... taken in the classic paper J onsson Tarski [8] and followed by for instance Goldblatt [5] it also prevails in modern works such as the monograph Kracht [9] and the recent textbook Blackburn et al..ii [3] A second direction is to compare various classes of modal logics, cf. Kracht Wolter [10] for a survey. One can distinguish two research lines in this direction; transfer theory comprises investigations of the e ect of extending modal languages with certain operators that are somehow related to the old ones. In the second line of research, to which the present paper forms a ....

....logics (that is, normal modal logics in a language with a number of diamonds or unary modalities) can be simulated by monomodal ones, and applies this result to prove certain (negative) results concerning monomodal logics. Thomason s approach was taken up and developed further in Kracht Wolter [10, 11]. In the second paper, which was in fact written earlier, the authors show that normal monomodal logics can simulate normal polymodal logics, equational theories of lattices) and non normal monomodal logics. Concerning the rst simulation operation, which is based on Thomason s ideas, Kracht and ....

[Article contains additional citation context not shown here]

M. Kracht and F. Wolter. Simulation and transfer results in modal logic: A survey. Studia Logica, 59:149-177, 1997.

....from well behaved calculi for the component logics. In this paper, we do not apply the method as there are interaction axioms between K and B , and the calculi considered in [3] are labeled tableau systems. The combination of modal logics has gained a lot of attention in the past years (see e.g. [12, 19, 5, 8, 13, 9, 4]) The logics considered in this paper are fusions of the component logics (with some interaction axioms) In the way of [4] the logic K B C is denoted by S5 KD45, and K B 5C by S4 KD4. The formulation of our systems is based on the work by Gor e [10] We use a similar technique to prove ....

M. Kracht and F. Wolter. Simulation and transfer results in modal logic - a survey. Studia Logica, 59:149-177, 1997.

....modal formulae in K is decidable i# the word problem for EK is decidable. For example, a formula # is valid i# # =EK #. Since satisfiability in K is indeed decidable the word problem for EK is also decidable. The problem of combining modal logics has been thoroughly investigated (see, e.g. [6, 8]) In particular, there are very general results on how decidability of the component logics transfers to their combination (called fusion in the literature) We are interested in the question of whether these combination results can also be obtained within our framework for combining decision ....

M. Kracht and F. Wolter. Simulation and transfer results in modal logic: A survey. Studia Logica, 59:149--177, 1997.

....and, second, it makes use of the notion of # saturated models which restricts its applicability to modal languages that lie inside first order logic. However, the result may serve as a good starting point for further work. In this context, Kracht and Wolter s work on transfer results [13, 14] deserves attention. They investigate the metalogical properties of modal logics, thereby considering both levels, the local and the global one. Though they take a 17 di#erent perspective on modal logic their aim is to explore the lattice of normal modal logic there are interesting ....

M. Kracht and F. Wolter. Simulation and transfer results in modal logic -- a survey. Studia Logica, 59:149--177, 1997.

....combinations of PDL and S5 are meaningful when we want to reason about dynamic and epistemic information. In modal logic di erent forms of combinations of logics have been investigated. The simplest form of combination of two (or more) logics is their fusion, or independent join. It is well known [9, 6] that fusions of logics inherit many of the good properties of the individual logics, including soundness, completeness, the nite model property and decidability. Another form of combination of two logics is their product. With products the situation is more varied and complicated than with ....

M. Kracht and F. Wolter. Simulation and Transfer Results in Modal Logic | A Survey. Studia Logica, 59(2):149-177, 1997.

.... taken in the classic paper J onsson Tarski [8] and followed by for instance Goldblatt [5] it also prevails in modern works such as the monograph Kracht [9] and the recent textbook Blackburn et al..ii [3] A second direction is to compare various classes of modal logics, cf. Kracht Wolter [10] for a survey. One can distinguish two research lines in this direction; transfer theory comprises investigations of the e ect of extending modal languages with certain operators that are somehow related to the old ones. In the second line of research, to which the present paper forms a ....

....logics (that is, normal modal logics in a language with a number of diamonds or unary modalities) can be simulated by monomodal ones, and applies this result to prove certain (negative) results concerning monomodal logics. Thomason s approach was taken up and developed further in Kracht Wolter [10, 11]. In the second paper, which was in fact written earlier, the authors show that normal monomodal logics can simulate normal polymodal logics, equational theories of lattices) and non normal monomodal logics. Concerning the rst simulation operation, which is based on Thomason s ideas, Kracht and ....

[Article contains additional citation context not shown here]

M. Kracht and F. Wolter. Simulation and transfer results in modal logic: A survey. Studia Logica, 59:149-177, 1997.

....modal formulae in K is decidable i# the word problem for EK is decidable. For example, a formula # is valid i# # =EK #. Since satisfiability in K is indeed decidable 4 the word problem for EK is also decidable. The problem of combining modal logics has been thoroughly investigated (see, e.g. [6, 8]) In particular, there are very general results on how decidability of the component logics transfers to their combination (called fusion in the literature) We are interested in the question of whether these combination results can also be obtained within our framework for combining decision ....

M. Kracht and F. Wolter. Simulation and transfer results in modal logic: A survey. Studia Logica, 59:149--177, 1997.

....of formulae in K is decidable iff the word problem for E K is decidable. For example, OE is valid iff OE =E K . Since satisfiability in K is indeed decidable 8 the word problem for E K is also decidable. The problem of combining modal logics has been thoroughly investigated (see, e.g. [Hem94, KW97]) In particular, there are very general results on how decidability of the component logics transfers to their combination (called fusion or join in the literature) We are interested in the question of whether these combination results can also be obtained within our framework for combining ....

Marcus Kracht and Frank Wolter. Simulation and transfer results in modal logic: A survey. Studia Logica, 59:149--177, 1997.

....the class of Sahlqvist tense formulae OE such that 6= OE axiomatizes hTL(H; G; 6= fF : F j= OEgi. This is roughly equivalent to knowing when the irreflexivity rule is superfluous (see e.g. Ven93] How to define structural rules in DL from axioms containing names Kracht and Wolter [KW97] show how to eliminate the difference operator by means of a pair of tense operators. Unfortunately, one operator must satisfy the Godel Lob axiom G, which is not Sahlqvist. Using our recent work on cut free display calculi for such second order modal logics [DG99] we may be able to design yet ....

M. Kracht and F. Wolter. Simulation and transfer results in modal logic - A survey. Studia Logica, 59:149--1997, 1997.

No context found.

M. Kracht and F. Wolter. Simulation and transfer results in modal logic: A survey. Studia Logica, 59:149--177, 1997.

No context found.

M. Kracht and F. Wolter. Simulation and transfer results in modal logic: A survey. Studia Logica, 59:149--177, 1997.

No context found.

M. Kracht and F. Wolter. Simulation and transfer results in modal logic---a survey. Studia Logica, 59(2):149--177, 1997.

No context found.

M. Kracht and F. Wolter. Simulation and transfer results in modal logic -- a survey. Studia Logica, 59(2):149--177, 1997.

No context found.

M. Kracht and F. Wolter. Simulation and transfer results in modal logic|a survey. Studia Logica, 59(2):149-177, 1997.

No context found.

M. Kracht and F. Wolter. Simulation and transfer results in modal logic -- a survey. Studia Logica, 59(2):149--177, 1997.

No context found.

Marcus Kracht and Frank Wolter. Simulation and transfer results in modal logic -- a survey. Studia Logica, 59:149--177, 1997.

No context found.

M. Kracht and F. Wolter. Simulation and transfer results in modal logic---a survey. Studia Logica, 59(2):149--177, 1997.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC