Logic Group
Frank Wolter
Associcate
wolter@jaist.ac.jp
DPhil FU Berlin, 1993
Research Interests
- Nonstandard Logics
- Modal Logics
- Universal Algebra
Publications
- Properties of independently axiomatizable bimodal logics, J. Symbolic Logic 56 (1991), 1469-1485 (with M. Kracht).
- What is the upper part of the lattice of bimodal logics,
Studia Logica 53 (1994), 235-241.
- Solution to a problem of Goranko and Passy, J. Logic and
Computation 1 (1994), 21 - 22.
- The finite model property in tense logic, J. Symbolic Logic,
to appear 1995
Profile
MSc FU Berlin 1991,
DPhil FU Berlin 1993,
Associate at JAIST 1994 Nov -,
Last modified: 11 July 1995 by Frank Wolter
(wolter@jaist.ac.jp).