| 2006 |
|---|
| 24 | EE | Tomasz Kowalski,
Marcus Kracht:
Semisimple Varieties of Modal Algebras.
Studia Logica 83(1-3): 351-363 (2006) |
| 23 | EE | Marcus Kracht:
Partial algebras, meaning categories and algebraization.
Theor. Comput. Sci. 354(1): 131-141 (2006) |
| 2003 |
|---|
| 22 | EE | Marcus Kracht:
Constraints on Derivations.
Grammars 6(2): 89-113 (2003) |
| 2002 |
|---|
| 21 | | Marcus Kracht:
Notes on the Space Requirements for Checking Satisfiability in Modal Logics.
Advances in Modal Logic 2002: 243-264 |
| 20 | | Marcus Kracht:
Referent Systems and Relational Grammar.
Journal of Logic, Language and Information 11(2): 251-286 (2002) |
| 19 | EE | Marcus Kracht:
Invariant Logics.
Math. Log. Q. 48(1): 29-50 (2002) |
| 2001 |
|---|
| 18 | EE | Marcus Kracht:
Reducing Modal Consequence Relations.
J. Log. Comput. 11(6): 879-907 (2001) |
| 2000 |
|---|
| 17 | | Marcus Kracht,
Oliver Kutz:
The Semantics of Modal Predicate Logic I. Counterpart-Frames.
Advances in Modal Logic 2000: 299-320 |
| 16 | EE | Christian Ebert,
Marcus Kracht:
Formal Syntax and Semantics of Case Stacking Languages.
COLING 2000: 250-256 |
| 1999 |
|---|
| 15 | | Marcus Kracht:
Lattices of Modal Logics and Their Groups of Automorphisms.
Ann. Pure Appl. Logic 100(1-3): 99-139 (1999) |
| 14 | | Marcus Kracht,
Frank Wolter:
Normal Monomodal Logics Can Simulate All Others.
J. Symb. Log. 64(1): 99-138 (1999) |
| 13 | | Marcus Kracht:
Modal Logics That Need Very Large Frames.
Notre Dame Journal of Formal Logic 40(2): 141-173 (1999) |
| 12 | | Marcus Kracht:
Book Review: V. V. Rybakov. Admissibility of Logical Inference Rules.
Notre Dame Journal of Formal Logic 40(4): 578-587 (1999) |
| 1998 |
|---|
| 11 | | Marcus Kracht:
Logic and Syntax-A Personal Perspective.
Advances in Modal Logic 1998: 337-366 |
| 10 | EE | Marcus Kracht:
Strict Compositionality and Literal Movement Grammars.
LACL 1998: 126-142 |
| 1997 |
|---|
| 9 | | Marcus Kracht,
Frank Wolter:
Simulation and Transfer Results in Modal Logic - A Survey.
Studia Logica 59(1): 149-177 (1997) |
| 1996 |
|---|
| 8 | EE | Jens Michaelis,
Marcus Kracht:
Semilinearity as a Syntactic Invariant.
LACL 1996: 329-345 |
| 7 | EE | Marcus Kracht:
Inessential Features.
LACL 1996: 43-62 |
| 1995 |
|---|
| 6 | | Marcus Kracht:
Highway to the Danger Zone.
J. Log. Comput. 5(1): 93-109 (1995) |
| 5 | | Marcus Kracht:
Syntactic Codes and Grammar Refinement.
Journal of Logic, Language and Information 4(1): 41-60 (1995) |
| 1993 |
|---|
| 4 | EE | Marcus Kracht:
Mathematical Aspects of Command Relations.
EACL 1993: 240-249 |
| 3 | | Marcus Kracht:
Splittings and the Finite Model Property.
J. Symb. Log. 58(1): 139-157 (1993) |
| 2 | | Marcus Kracht:
Prefinitely Axiomatizable Modal and Intermediate Logics.
Math. Log. Q. 39: 301-322 (1993) |
| 1991 |
|---|
| 1 | | Marcus Kracht,
Frank Wolter:
Properties of Independently Axiomatizable Bimodal Logics.
J. Symb. Log. 56(4): 1469-1485 (1991) |
