default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarcus Kracht
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[c14]Yousuf Aboamer, Marcus Kracht:
A Purely Surface-Oriented Approach to Handling Arabic Morphology. FG 2019: 1-17- 2018
- [c13]Yousuf Aboamer, Marcus Kracht:
Representing Meaning of Arabic Sentence Dynamically and more Smoothly. ACLING 2018: 321-327 - 2017
- [c12]Marcus Kracht, Yousuf Aboamer:
Argument Structure and Referent Systems. IWCS(2) 2017 - 2016
- [c11]Marcus Kracht:
Logics of Infinite Depth. Advances in Modal Logic 2016: 435-448 - 2015
- [c10]András Kornai, Marcus Kracht:
Lexical Semantics and Model Theory: Together at Last? MOL 2015: 51-61 - 2014
- [j25]Marcus Kracht, Udo Klein:
The Grammar of Code Switching. J. Log. Lang. Inf. 23(3): 313-329 (2014) - 2013
- [j24]Marcus Kracht:
Are Logical Languages Compositional? Stud Logica 101(6): 1319-1340 (2013) - 2012
- [p2]Marcus Kracht:
Modal Logic Foundations of Markup Structures in Annotation Systems. Modeling, Learning, and Processing of Text Technological Data Structures 2012: 111-127 - 2011
- [j23]Marcus Kracht:
Gnosis. J. Philos. Log. 40(3): 397-420 (2011) - [c9]Christoph Brandt, Marcus Kracht:
Syntax, semantics and pragmatics in communication. I-SEMANTICS 2011: 195-202 - [e2]Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki:
The Mathematics of Language - 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings. Lecture Notes in Computer Science 6878, Springer 2011, ISBN 978-3-642-23210-7 [contents] - 2010
- [j22]Marcus Kracht:
Judgment and consequence relations. J. Appl. Non Class. Logics 20(4): 423-435 (2010) - [j21]Marcus Kracht:
Editorial. J. Log. Lang. Inf. 19(1): 1 (2010)
2000 – 2009
- 2007
- [p1]Marcus Kracht:
Modal consequence relations. Handbook of Modal Logic 2007: 491-545 - 2006
- [j20]Tomasz Kowalski
, Marcus Kracht:
Semisimple Varieties of Modal Algebras. Stud Logica 83(1-3): 351-363 (2006) - [j19]Marcus Kracht:
Partial algebras, meaning categories and algebraization. Theor. Comput. Sci. 354(1): 131-141 (2006) - 2003
- [j18]Marcus Kracht:
Constraints on Derivations. Grammars 6(2): 89-113 (2003) - 2002
- [j17]Marcus Kracht:
Referent Systems and Relational Grammar. J. Log. Lang. Inf. 11(2): 251-286 (2002) - [j16]Marcus Kracht:
Invariant Logics. Math. Log. Q. 48(1): 29-50 (2002) - [c8]Marcus Kracht:
Notes on the Space Requirements for Checking Satisfiability in Modal Logics. Advances in Modal Logic 2002: 243-264 - 2001
- [j15]Marcus Kracht:
Reducing Modal Consequence Relations. J. Log. Comput. 11(6): 879-907 (2001) - 2000
- [c7]Marcus Kracht, Oliver Kutz:
The Semantics of Modal Predicate Logic I. Counterpart-Frames. Advances in Modal Logic 2000: 299-320 - [c6]Christian Ebert, Marcus Kracht:
Formal Syntax and Semantics of Case Stacking Languages. COLING 2000: 250-256
1990 – 1999
- 1999
- [j14]Marcus Kracht:
Lattices of Modal Logics and Their Groups of Automorphisms. Ann. Pure Appl. Log. 100(1-3): 99-139 (1999) - [j13]Marcus Kracht, Frank Wolter:
Normal Monomodal Logics Can Simulate All Others. J. Symb. Log. 64(1): 99-138 (1999) - [j12]Marcus Kracht:
Modal Logics That Need Very Large Frames. Notre Dame J. Formal Log. 40(2): 141-173 (1999) - [j11]Marcus Kracht:
Book Review: V. V. Rybakov. Admissibility of Logical Inference Rules. Notre Dame J. Formal Log. 40(4): 578-587 (1999) - 1998
- [j10]Marcus Kracht:
On Extensions of Intermediate Logics by Strong Negation. J. Philos. Log. 27(1): 49-73 (1998) - [c5]Marcus Kracht:
Logic and Syntax-A Personal Perspective. Advances in Modal Logic 1998: 337-366 - [c4]Marcus Kracht:
Strict Compositionality and Literal Movement Grammars. LACL 1998: 126-142 - [e1]Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev:
Advances in Modal Logic 1, papers from the first workshop on "Advances in Modal logic," held in Berlin, Germany, 8-10 October 1996. CSLI Publications 1998, ISBN 1-57586-102-X [contents] - 1997
- [j9]Marcus Kracht, Frank Wolter:
Simulation and Transfer Results in Modal Logic - A Survey. Stud Logica 59(1): 149-177 (1997) - 1996
- [c3]Marcus Kracht:
Inessential Features. LACL 1996: 43-62 - [c2]Jens Michaelis, Marcus Kracht:
Semilinearity as a Syntactic Invariant. LACL 1996: 329-345 - 1995
- [j8]Marcus Kracht:
Syntactic Codes and Grammar Refinement. J. Log. Lang. Inf. 4(1): 41-60 (1995) - [j7]Marcus Kracht:
Highway to the Danger Zone. J. Log. Comput. 5(1): 93-109 (1995) - 1993
- [j6]Marcus Kracht:
Splittings and the Finite Model Property. J. Symb. Log. 58(1): 139-157 (1993) - [j5]Marcus Kracht:
Prefinitely Axiomatizable Modal and Intermediate Logics. Math. Log. Q. 39: 301-322 (1993) - [c1]Marcus Kracht:
Mathematical Aspects of Command Relations. EACL 1993: 240-249 - 1992
- [j4]Marcus Kracht:
Even more about the lattice of tense logics. Arch. Math. Log. 31(4): 243-257 (1992) - 1991
- [j3]Marcus Kracht:
A solution to a problem of urquhart. J. Philos. Log. 20(3): 285-286 (1991) - [j2]Marcus Kracht, Frank Wolter:
Properties of Independently Axiomatizable Bimodal Logics. J. Symb. Log. 56(4): 1469-1485 (1991) - 1990
- [j1]Marcus Kracht:
An almost general splitting theorem for modal logic. Stud Logica 49(4): 455-470 (1990)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
