dblp.uni-trier.dewww.uni-trier.de

Marcus Kracht

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
24EETomasz Kowalski, Marcus Kracht: Semisimple Varieties of Modal Algebras. Studia Logica 83(1-3): 351-363 (2006)
23EEMarcus Kracht: Partial algebras, meaning categories and algebraization. Theor. Comput. Sci. 354(1): 131-141 (2006)
2003
22EEMarcus 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)
19EEMarcus Kracht: Invariant Logics. Math. Log. Q. 48(1): 29-50 (2002)
2001
18EEMarcus 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
16EEChristian 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
10EEMarcus 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
8EEJens Michaelis, Marcus Kracht: Semilinearity as a Syntactic Invariant. LACL 1996: 329-345
7EEMarcus 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
4EEMarcus 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)

Coauthor Index

1Christian Ebert [16]
2Tomasz Kowalski [24]
3Oliver Kutz [17]
4Jens Michaelis [8]
5Frank Wolter [1] [9] [14]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)