The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marcus Kracht: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.047secs, Finished in 0.048secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002