M. H. Löb. Extensional interpretations of modal logics. The journal of symbolic logic, vol. 31 (1966), pp. 23–45.

Journal of Symbolic Logic ◽

10.2307/2272525 ◽

1971 ◽

Vol 36 (4) ◽

pp. 692-692

Author(s):

David Makinson

Keyword(s):

Modal Logics ◽

Symbolic Logic

Download Full-text

M. A. E. Dummett and E. J. Lemmon. Modal logics between S4 and S5. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 250–264. - Iwao Nishimura. On formulas of one variable in intuitionistic propositional calculus. The journal of symbolic logic, vol. 25 No. 4 (for 1960, pub. 1962), pp. 327–331. - D. C. Makinson. There are infinitely many Diodorean modal functions. The journal of symbolic logic, vol. 31 (1966), pp. 406–408.

Journal of Symbolic Logic ◽

10.2307/2270800 ◽

1967 ◽

Vol 32 (3) ◽

pp. 396-397

Author(s):

A. N. Prior

Keyword(s):

Propositional Calculus ◽

Modal Logics ◽

Symbolic Logic ◽

Intuitionistic Propositional Calculus

Download Full-text

W. J. Blok. The lattice of modal logics: an algebraic investigation. The journal of symbolic logic, vol. 45 (1980), pp. 221–236. - W. J. Blok. Pretahular varieties of modal algebras. Studio logica, vol. 39 (1980), pp. 101–124.

Journal of Symbolic Logic ◽

10.2307/2274297 ◽

1984 ◽

Vol 49 (4) ◽

pp. 1419-1420

Author(s):

Johan van Benthem

Keyword(s):

Modal Logics ◽

Symbolic Logic ◽

Modal Algebras ◽

Algebraic Investigation

Download Full-text

Many-Dimensional Modal Logics - Theory and Applications

10.1016/s0049-237x(03)x8001-5 ◽

2003 ◽

Keyword(s):

Modal Logics

Download Full-text

Modal logics with Belnapian truth values

Journal of Applied Non-Classical Logics ◽

10.3166/jancl.20.279-304 ◽

2010 ◽

Vol 20 (3) ◽

pp. 279-304 ◽

Cited By ~ 30

Author(s):

Serge P Odintsov ◽

Heinrich Wansing

Keyword(s):

Modal Logics ◽

Truth Values

Download Full-text

2004 Spring Meeting of the Association for Symbolic Logic

Bulletin of Symbolic Logic ◽

10.2178/bsl/1102022666 ◽

2004 ◽

Vol 10 (3) ◽

pp. 438-446

Author(s):

Michael Kremer

Keyword(s):

Symbolic Logic ◽

Spring Meeting

Download Full-text

Association for Symbolic Logic

Bulletin of Symbolic Logic ◽

10.2178/bsl/1231081468 ◽

2008 ◽

Vol 14 (4) ◽

pp. 553-558

Keyword(s):

Symbolic Logic

Download Full-text

European Summer Meeting of the Association for Symbolic Logic, Helsinki, 1990

Journal of Symbolic Logic ◽

10.2178/jsl/1183743771 ◽

1991 ◽

Vol 56 (3) ◽

pp. 1115-1150

Keyword(s):

Symbolic Logic

Download Full-text

2008 Annual Meeting of the Association for Symbolic Logic

Bulletin of Symbolic Logic ◽

10.2178/bsl/1231081376 ◽

2008 ◽

Vol 14 (3) ◽

pp. 418-437

Author(s):

Chris Laskowski

Keyword(s):

Annual Meeting ◽

Symbolic Logic

Download Full-text

2008–2009 Winter Meeting of the Association for Symbolic Logic

Bulletin of Symbolic Logic ◽

10.2178/bsl/1243948489 ◽

2009 ◽

Vol 15 (2) ◽

pp. 237-245

Author(s):

Ali Enayat

Keyword(s):

Symbolic Logic

Download Full-text

2010–2011 Winter Meeting of the Association for Symbolic Logic

Bulletin of Symbolic Logic ◽

10.2178/bsl/1327328443 ◽

2012 ◽

Vol 18 (1) ◽

pp. 142-149

Author(s):

Michael Mislove

Keyword(s):

Symbolic Logic

Download Full-text