@ARTICLE{OhlbachSchmidt97,
AUTHOR = {Ohlbach, Hans J{\"u}rgen and Schmidt, Renate A.},
TITLE = {Functional Translation and Second-Order Frame Properties of Modal Logics},
JOURNAL = {Journal of Logic and Computation},
PUBLISHER = {Oxford University Press},
YEAR = {1997},
NUMBER = {5},
VOLUME = {7},
PAGES = {581--603},
MONTH = {October},
ISBN = {0955-792X},
NOTE = {Also available as Research Report MPI-I-95-2-002},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Renate A. Schmidt | Created
11/24/1997 04:34:07 PM |
Revisions
3.
2.
1.
0.
| Editor(s)
Christine Kiesel
Renate A. Schmidt
Renate A. Schmidt
Renate A. Schmidt
| Edit Dates
26/04/99 11:46:51
03/12/97 17:13:47
24/11/97 16:51:01
24/11/97 16:39:09
|