G. Boolos. The Unprovability of Consistency, an essay in modal logic. Cambridge University Press, 1979.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....logic, and argue that these properties are grounded in our intuitions. To justify our claim we study how ML systems can be used in the representation of beliefs (more generally, propositional attitudes) and provability, two areas where modal logics have been extensively used; 27, 24, 25] and [1, 39] are some of the many references on the use of modal logics respectively on the rst and the second topic. One way to interpret these results is that rst order languages are all we need to give a consistent theory of propositional attitudes and provability (see [35, 42, 38] for a description of ....

....its own deducibility relation (say OT and MT ) There is no formal framework inside which to describe and study the properties of their interaction. Finally, notice that our work is quite di erent from the work usually described under the heading of provability logics (see for instance [1, 39]) some similarities would arise if we considered, as object theory, PA, PRA or similar theories. 3.2 MBK: reasoning about propositional attitudes MBK is the basic system for the representation of propositional attitudes. To keep things simple and more similar to MK we consider the single agent ....

G. Boolos. The Unprovability of Consistency, an essay in modal logic. Cambridge University Press, 1979.

....in modal logic, and argue that these properties are grounded into our intuitions. To justify our claim we study how ML systems can be used in the representation of beliefs (more generally, propositional attitudes) and provability, two areas where modal logics have been extensively used; HM85] and [Boo79] are some of the many references on the use of modal logics respectively on the first and the second topic. One of our main interests is to provide foundations to the implementation of intelligent reasoning systems. The issue of mechanizibility and of naturalness of the interaction with the ....

G. Boolos. The Unprovability of Consistency, an essay in modal logic. Cambridge University Press, 1979.

....Logics Normal modal systems can be defined by adding K (the minimal normal modal system) a set of axioms. In the following we consider as examples the fifteen systems presented in [Che80] that is KD, KT, KB, K4, K5, KDB, KD4, KD5, K45, KD45, KB4, KTB, KT4, KT5 plus the system KG presented in [Boo79]. The methodology is as follows. We provide MK with suitable families of sets of axioms which are the translation by ( of the modal axioms. In most of the cases we succeed i.e. we obtain an MR system based on MK such that: if A is provable in a normal modal system, then hA; ii is provable ....

.... schemas S 1 , S n ; where D, B, T, 4, 5 and G are the following schemas: D: 2A oe 3A B: A oe 23A T: 2A oe A 4: 2A oe 22A 5 3A oe 23A G 2(2A oe A) oe 2A For exhaustive descriptions of the systems containing the first 5 schemas (D, T, B, 4 and 5) see [Che80] for a description of KG see [Boo79, Smo85]. Definition 7.4 (MKS 1 : S n ) For each modal system KS 1 : S n , MKS 1 : S n is an MR system based on MK such that: MKS 1 : S n = MK hS 1 ; 1i : hS n ; 1i hS 1 ; 2i : hS n ; 2i : where for each 1 k n, hS k ; ii is the translation by ( ....

G. Boolos. The Unprovability of Consistency, an essay in modal logic. Cambridge University Press, 1979.

....logic, and argue that these properties are grounded in our intuitions. To justify our claim we study how ML systems can be used in the representation of beliefs (more generally, propositional attitudes) and provability, two areas where modal logics have been extensively used; 27, 24, 25] and [1, 39] are some of the many references on the use of modal logics respectively on the first and the second topic. One way to interpret these results is that first order languages are all we need to give a consistent theory of propositional attitudes and provability (see [35, 42, 38] for a description of ....

....its own deducibility relation (say OT and MT ) There is no formal framework inside which to describe and study the properties of their interaction. Finally, notice that our work is quite different from the work usually described under the heading of provability logics (see for instance [1, 39]) some similarities would arise if we considered, as object theory, PA, PRA or similar theories. 3.2 MBK: reasoning about propositional attitudes MBK is the basic system for the representation of propositional attitudes. To keep things simple and more similar to MK we consider the single agent ....

G. Boolos. The Unprovability of Consistency, an essay in modal logic. Cambridge University Press, 1979.

....argument (cf. e.g. 2] we can easily derive the Beth definability property for IL from Theorem 1. But as we will shortly see (cf. Theorem 4) we can infer much more. One of the well known applications of the Beth definability property can be found in the literature on provability logic. In e.g. [1, 13], C. Smory nski derives for provability logic L the existence of fixed points, the more interesting half of the Fixed Point Theorem, from the uniqueness of fixed points via an application of the Beth property. Along the same lines we obtain the following result, a direct proof of which was ....

G. Boolos. The unprovability of consistency. Cambridge University Press, Cambridge, 1979. An essay in modal logic.

No context found.

G. Boolos. The Unprovability of Consistency, an essay in modal logic. Cambridge University Press, 1979.

No context found.

G. Boolos. The Unprovability of Consistency, an essay in modal logic. Cambridge University Press, 1979.

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