Some Modifications of Carnap’s Modal Logic

In this paper, Carnap’s modal logic C is reconstructed. It is shown that the Carnapian approach enables us to create some epistemic logics in a relatively straight-forward way. These epistemic modifications of C are axiomatized and one of them is compared with intuitionistic logic. At the end of the paper, some connections between this epistemic logic and Medvedev’s logic of finite problems and inquisitive semantics are shortly discussed.

[1]  Steven K. Thomason.  A new representation of S5 , 1973, Notre Dame J. Formal Log..

[2]  Pierangelo Miglioli,et al.  Some Results on Intermediate Constructive Logics , 1989, Notre Dame J. Formal Log..

[3]  Rudolf Carnap.  Modalities and Quantification , 1946, J. Symb. Log..

[4]  Rudolf Carnap,et al.  Meaning and Necessity , 1947 .

[5]  A. Kolmogoroff.  Zur Deutung der intuitionistischen Logik , 1932 .

[6]  Kurt Gödel,et al.  An Interpretation of the Intuitionistic Propositional Calculus (1933f) , 2012 .

[7]  G. Gottlob.  Remarks on a Carnapian Extension of S5 , 1999 .

[8]  Herbert E. Hendry,et al.  Carnapian extensions of S5 , 1985, J. Philos. Log..

[9]  H. Grice.  Logic and conversation , 1975 .

[10]  Michael Zakharyaschev,et al.  Modal Logic , 1997, Oxford logic guides.

[11]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[12]  Ivano Ciardelli,et al.  Inquisitive Semantics and Intermediate Logics. , 2009 .