74 Publications

Mark all

[74]
2017 | Book Review | PUB-ID: 2913645
Jean-Marie Zemb: Vergleichende Grammatik Französisch-Deutsch
Kracht M (2017)
Zeitschrift für Sprachwissenschaft 36(2): 309-316.
PUB
 
[73]
2017 | Book | PUB-ID: 2910264
Wissen und materiale Kultur
Kracht M (2017)
Weilerswist-Metternich: Barton Academics.
PUB
 
[72]
2016 | Journal Article | PUB-ID: 2910260
The Language Multiverse
Kracht M (2016)
Logic-Philosophical Studies 14: 24-35.
PUB
 
[71]
2016 | Conference Paper | PUB-ID: 2905702
Logics of Infinite Depth
Kracht M (2016)
In: Advances in Modal Logic. Vol. 11. Beklemishev L, Demri S, Máté A (Eds); London: College Publications: 435-448.
PUB
 
[70]
2015 | Conference Paper | PUB-ID: 2901767
Lexical Semantics and Model Theory: Together at Last?
Kornai A, Kracht M (2015)
In: Proceedings of the 14th Meeting on the Mathematics of Language (MoL 14). Kuhlmann M, Kanazawa M, Kobele GM (Eds); Association for Computational Linguistics: 51-61.
PUB
 
[69]
2015 | Journal Article | PUB-ID: 2901768
Aspects of Space
Kracht M (2015)
The Baltic International Yearbook of Cognition, Logic and Communication 10.
PUB | DOI
 
[68]
2015 | Book Chapter | PUB-ID: 2712513
Using Each Other's Words
Kracht M (2015)
In: The Road to Universal Logic. Festschrift for 50th Birthday of Jean-Yves Beziau Volume I. Koslow A, Buchsbaum A (Eds); , 1. Basel: Birkhäuser: 241-249.
PUB
 
[67]
2014 | Journal Article | PUB-ID: 2652225
The Grammar of Code Switching
Kracht M, Klein U (2014)
Journal of Language, Logic and Information 23(3): 313-329.
PUB | DOI | WoS
 
[66]
2014 | Journal Article | PUB-ID: 2712519
Die Entmaterialisierung des Wissens. Gedanken über ein Zivilisationsprojekt
Kracht M (2014)
Jahrbuch für Internationale Germanistik 46(1): 123-132.
PUB
 
[65]
2014 | Book Chapter | PUB-ID: 2712504
Notes on Disagreement
Kracht M, Klein U (2014)
In: Evaluations - Denotations - Entities. Studies in Context, Contents and the Foundation of Semantics. Gutzman D, Köpping J, Meier C (Eds); Leiden: Brill: 276-305.
PUB
 
[64]
2013 | Journal Article | PUB-ID: 2602032
Are Logical Languages Compositional?
Kracht M (2013)
Studia Logica 101: 1319-1340.
PUB | DOI | WoS
 
[63]
2012 | Journal Article | PUB-ID: 2602022
Gnosticism or: How Logic Fits My Mind
Kracht M (2012)
Logical Investigations 18: 273-291.
PUB
 
[62]
2012 | Journal Article | PUB-ID: 2548623
Against the single-domain constraint
Kracht M, Klein U (2012)
Theoretical Linguistics 38(3-4): 211-221.
PUB | DOI | WoS
 
[61]
2012 | Book Chapter | PUB-ID: 2602017
Joint Knowledge
Kracht M (2012)
In: Theories of Everything: In Honor of Ed Keenan. Graf T, Paperno D, Tellings J (Eds); UCLA Working Papers in Linguistics. 168-176.
PUB
 
[60]
2011 | Book | PUB-ID: 2594560
Interpreted Languages and Compositionality
Kracht M (2011) Studies in Linguistics and Philosophy.
Springer.
PUB
 
[59]
2011 | Journal Article | PUB-ID: 2289549
Gnosis
Kracht M (2011)
Journal of Philosophical Logic 40(3): 397-420.
PUB | DOI | WoS
 
[58]
2011 | Journal Article | PUB-ID: 2602024
Technical Modal Logic
Kracht M (2011)
Philosophy Compass 6(5): 350-359.
PUB | DOI
 
[57]
2011 | Book Chapter | PUB-ID: 2602034
Modal Logic Foundations of Markup-Structures in Annotation Systems
Kracht M (2011)
In: Modeling, Learning and Processing of Text Technological Data Structures. Mehler A, Kühnberger K-U, Lobin H, Lüngen H, Storrer A, Witt A (Eds); Studies in Computational Intelligence. Heidelberg: Springer: 111-127.
PUB | DOI
 
[56]
2010 | Journal Article | PUB-ID: 2602026
Judgment and Consequence Relations
Kracht M (2010)
Journal of Applied Nonclassical Logic 20: 223-235.
PUB
 
[55]
2010 | Book Chapter | PUB-ID: 2594562
The Inner Dialog: Pragmatics for One Person
Kracht M (2010)
In: Judgements and Propositions. Robering K, Bab S (Eds); Logische Philosophie. Logos Verlag: 39-59.
PUB
 
[54]
2010 | Book Chapter | PUB-ID: 2602001
Brentano's Apple
Kracht M (2010)
In: Language and Logos. Studies in Theoretical and Computational Linguistics. Hanneforth T, Fanselow G (Eds); , 72. 202-213.
PUB
 
[53]
2008 | Journal Article | PUB-ID: 2602028
The Logic of Action
Kracht M, Meyer J-J, AND Segerberg K (2008)
Stanford Encyclopedia of Philosophy.
PUB
 
[52]
2008 | Book Chapter | PUB-ID: 2610854
The fine structure of spatial expressions
Kracht M (2008)
In: The Structure of Local P. Asbury A, Dotlacil J, Gehrke B, Nouwen R (Eds); Amsterdam: John Benjamin's: 35-62.
PUB
 
[51]
2008 | Book Chapter | PUB-ID: 2602042
On the Logic of LGB-Type Structures. Part I: Multidominance Structures
Kracht M (2008)
In: Essays in honour of Uwe Mönnich. Hamm F, Kepser S (Eds); Mouton de Gruyter: 105-142.
PUB
 
[50]
2007 | Journal Article | PUB-ID: 2594556
The Emergence of Syntactic Structure
Kracht M (2007)
Linguistics and Philosophy 30(1): 47-95.
PUB | DOI | WoS
 
[49]
2006 | Conference Paper | PUB-ID: 2602046
On Pregroups, Freedom and (Virtual) Conceptual Necessity
Kobele G, Kracht M (2006)
In: Proceedings of the 29th Annual Penn Linguistics Conference. Eilam A, Scheffler T, Tauberer J (Eds); Penn Working Papers in Linguistics(12.1). 189-198.
PUB
 
[48]
2006 | Book Chapter | PUB-ID: 2594549
Directionality Selection
Kracht M (2006)
In: Linguistic Dimensions of Prepositions. Saint-Dizier P (Ed); Springer: 101-114.
PUB
 
[47]
2006 | Book Chapter | PUB-ID: 2594544
Modal Consequence Relations
Kracht M (2006)
In: Handbook of Modal Logic. Benthem van J, Blackburn P, Wolter F (Eds); Amsterdam: Elsevier.
PUB
 
[46]
2006 | Journal Article | PUB-ID: 2594552
Partial Algebras, Meaning Categories and Algebraization
Kracht M (2006)
Theoretical Computer Science 354(1): 131-141.
PUB | DOI | WoS
 
[45]
2005 | Book Chapter | PUB-ID: 2594582
The Semantics of Modal Predicate Logic II. Modal Individuals Revisited
Kracht M, Kutz O (2005)
In: Intensionality. Kahle R (Ed); ASL Lecture Notes in Logic, 22. Los Angeles: A. K. Peters: 60-97.
PUB
 
[44]
2005 | Book Chapter | PUB-ID: 2594539
The Semantics of Locatives in the Uralic Languages
Kracht M (2005)
In: Les languages ouraliennes aujourd'hui. Approche linguistics et cognitive. Fernandez-Vest J (Ed); Bibilothèque de l'Ecole des Hautes Etudes, Sciences Historiques et Philologiques. Paris: Librarie Honoré Champion: 145-158.
PUB
 
[43]
2004 | Conference Paper | PUB-ID: 2594532
Notes on Substitution in First–Order Logic
Kracht M (2004)
In: First-Order Logic 75. Scheffler U (Ed); Berlin: Logos Verlag: 155-172.
PUB
 
[42]
2003 | Book Chapter | PUB-ID: 2594528
Against the feature bundle theory of case
Kracht M (2003)
In: New Perspectives on Case Theory. Brandner E, Zinsmeister H (Eds); CSLI lecture notes, 156. Stanford: CSLI Publications: 165-190.
PUB
 
[41]
2003 | Book | PUB-ID: 2594509
Mathematics of Language
Kracht M (2003)
Berlin: Mouton de Gruyter.
PUB | PDF
 
[40]
2003 | Journal Article | PUB-ID: 2594520
Constraints on Derivations
Kracht M (2003)
Grammars 6: 89-113.
PUB
 
[39]
2003 | Conference Paper | PUB-ID: 2594511
Features in Phonological Theory
Kracht M (2003)
In: Foundations of the Formal Sciences II, Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 11–13, 2000. L"owe B, Malzkorn W, Räsch T (Eds); Trends in Logic(17). Dordrecht: Kluwer: 123-149.
PUB
 
[38]
2003 | Conference Paper | PUB-ID: 2594522
Notes on the Space Requirement for Checking Satisfiability in Modal Logics
Kracht M (2003)
In: Advances in Modal Logic 4. Balbiani P, Suzuki N-Y, Wolter F, Zakharyaschev M (Eds); King's College Publications: 243-264.
PUB
 
[37]
2003 | Journal Article | PUB-ID: 2594516
The Combinatorics of Cases
Kracht M (2003)
Research on Language and Computation 1: 59-97.
PUB
 
[36]
2002 | Conference Paper | PUB-ID: 2594578
Elementary Models for Modal Predicate Logic. Part 1: Completeness
Kracht M, Kutz O (2002)
In: Advances in Modal Logic 3. Wolter F (Ed); World Scientific: 299-320.
PUB
 
[35]
2002 | Book Chapter | PUB-ID: 2594366
Dynamic Semantics
Kracht M (2002)
In: Semantics. Hamm F, Zimmmrmann TE (Eds); Linguistische Berichte Sonderheft 10. Helmut Buske Verlag: 217-241.
PUB
 
[34]
2002 | Journal Article | PUB-ID: 2594499
On the Semantics of Locatives
Kracht M (2002)
Linguistics and Philosophy 25: 157-232.
PUB
 
[33]
2002 | Journal Article | PUB-ID: 2594495
Invariant Logics
Kracht M (2002)
Mathematical Logic Quarterly 48: 29-50.
PUB
 
[32]
2002 | Conference Paper | PUB-ID: 2594606
Formal Syntax and Semantics of Case Stacking Languages
Ebert C, Kracht M (2002)
In: Proceedings Coling 2000. 250-256.
PUB
 
[31]
2002 | Journal Article | PUB-ID: 2594497
Referent Systems and Relational Grammar
Kracht M (2002)
Journal of Logic, Language and Information 11: 251-286.
PUB
 
[30]
2001 | Conference Paper | PUB-ID: 2594490
Strict Compositionality and Literal Movement Grammars
Kracht M (2001)
In: Logical Aspects of Computational Linguistics '98. Moortgat M (Ed); Springer Lecture Notes in Artificial Intelligence(2014). 126-142.
PUB
 
[29]
2001 | Conference Paper | PUB-ID: 2594493
The structure of locative cases and its relevance in the study of Uralic languages
Kracht M (2001)
In: Proceedings of the Congressus IX. Fenno–Ugristarum in Tartu 2000.
PUB
 
[28]
2001 | Journal Article | PUB-ID: 2594486
Syntax in Chains
Kracht M (2001)
Linguistics and Philosophy 24: 467-529.
PUB
 
[27]
2001 | Journal Article | PUB-ID: 2594488
Reducing Modal Consequence Relations
Kracht M (2001)
Journal of Logic and Computation 11: 879-907.
PUB
 
[26]
2001 | Journal Article | PUB-ID: 2594361
Atomic incompleteness or how to kill one bird with two stones
Kowalski T, Kracht M (2001)
Bulletin of Section Logic 30: 71-78.
PUB
 
[25]
1999 | Book | PUB-ID: 2594465
Tools and Techniques in Modal Logic
Kracht M (1999) Studies in Logic.
Amsterdam: Elsevier.
PUB
 
[24]
1999 | Journal Article | PUB-ID: 2594599
Normal modal logics can simulate all others
Kracht M, Wolter F (1999)
Journal of Symbolic Logic 64: 99-138.
PUB
 
[23]
1999 | Journal Article | PUB-ID: 2594469
Modal Logics that Need Very Large Frames
Kracht M (1999)
Notre Dame Journal of Formal Logic 40: 578-587.
PUB
 
[22]
1999 | Journal Article | PUB-ID: 2594471
Lattices of Modal Logics and Their Groups of Automorphisms
Kracht M (1999)
Journal of Pure and Applied Logic 100: 99-139.
PUB
 
[21]
1998 | Book Chapter | PUB-ID: 2594455
Adjunction Structures and Syntactic Domains
Kracht M (1998)
In: The Mathematics of Sentence Structure. Kolb H--P, Mönnich U (Eds); Berlin: Mouton–de Gruyter: 259-299.
PUB
 
[20]
1998 | Journal Article | PUB-ID: 2594461
On Extensions of Intermediate Logics by Strong Negation
Kracht M (1998)
Journal of Philosophical Logic 27: 49-73.
PUB
 
[19]
1997 | Conference Paper | PUB-ID: 2594602
Semilinearity as a Syntactic Invariant
Michaelis J, Kracht M (1997)
In: Logical Aspects of Computational Linguistics (LACL '96). Retoré C (Ed); Lecture Notes in Computer Science, 1328. Berlin, Heidelberg: Springer: 329-345.
PUB | DOI
 
[18]
1997 | Conference Paper | PUB-ID: 2594440
Inessential Features
Kracht M (1997)
In: Logical Aspects of Computational Linguistics (LACL '96). Retor'e C (Ed); Lecture Notes in Artificial Intelligence(1328). Heidelberg: Springer: 43-62.
PUB
 
[17]
1997 | Book Chapter | PUB-ID: 2594443
On Reducing Principles to Rules
Kracht M (1997)
In: Specifying Syntactic Structure. Blackburn P, Rijke de M (Eds); Studies in Logic, Language and Information. Stanford: CSLI: 25-53.
PUB
 
[16]
1997 | Journal Article | PUB-ID: 2594593
Simulation and Transfer Results in Modal Logic – A Survey
Kracht M, Wolter F (1997)
Studia Logica 59: 149-177.
PUB
 
[15]
1996 | Book Chapter | PUB-ID: 2594430
Power and Weakness of the Modal Display Calculus
Kracht M (1996)
In: Proof Theory of Modal Logic. Wansing H (Ed); Oxford University Press: 95-120.
PUB
 
[14]
1995 | Journal Article | PUB-ID: 2594422
Syntactic Codes and Grammar Refinement
Kracht M (1995)
Journal of Logic, Language and Information: 41-60.
PUB
 
[13]
1995 | Journal Article | PUB-ID: 2594418
Is there a genuine modal perspective on feature structures?
Kracht M (1995)
Linguistics and Philosophy 18: 401-458.
PUB
 
[12]
1995 | Journal Article | PUB-ID: 2594424
Highway to the Danger Zone
Kracht M (1995)
Journal of Logic and Computation 5: 93-109.
PUB
 
[11]
1995 | Journal Article | PUB-ID: 2594426
Gumm's Theorem and the Structure of Minimal Algebras
Kracht M (1995)
Algebra Universalis 33: 142-146.
PUB
 
[10]
1994 | Book Chapter | PUB-ID: 2594414
Logic and Control: How They Determine the Behaviour of Presuppositions
Kracht M (1994)
In: Logic and Information Flow. Eijck van J, Visser A (Eds); Cambridge, Massachusetts: MIT Press: 88-111.
PUB
 
[9]
1993 | Book Chapter | PUB-ID: 2594394
How Completeness and Correspondence Theory Got Married
Kracht M (1993)
In: Diamonds and Defaults. Rijke de M (Ed); Synthese. Kluwer: 175-214.
PUB
 
[8]
1993 | Journal Article | PUB-ID: 2594401
Splittings and the finite model property
Kracht M (1993)
Journal of Symbolic Logic 58: 139-157.
PUB
 
[7]
1993 | Journal Article | PUB-ID: 2594399
Prefinitely Axiomatizable Modal and Intermediate Logics
Kracht M (1993)
Mathematical Logic Quarterly 39: 301-322.
PUB
 
[6]
1993 | Conference Paper | PUB-ID: 2594390
Mathematical Aspects of Command Relations
Kracht M (1993)
In: Proceedings of the EACL 93. 240-249.
PUB
 
[5]
1992 | Journal Article | PUB-ID: 2594384
Even more about the lattice of tense logics
Kracht M (1992)
Archive of Mathematical Logic 31: 243-357.
PUB
 
[4]
1991 | Journal Article | PUB-ID: 2594590
Properties of independently axiomatizable bimodal logics
Kracht M, Wolter F (1991)
Journal of Symbolic Logic 56: 1469-1485.
PUB
 
[3]
1991 | Journal Article | PUB-ID: 2594376
A solution to a problem by Urquhart
Kracht M (1991)
Journal of Philosophical Logic 20: 285-286.
PUB
 
[2]
1990 | Journal Article | PUB-ID: 2594374
An Almost General Splitting Theorem For Modal Logic
Kracht M (1990)
Studia Logica 49: 455-470.
PUB
 
[1]
1989 | Journal Article | PUB-ID: 2594370
On the Logic of Category Definitions
Kracht M (1989)
Computational Linguistics 15: 111-113.
PUB
 

Search

Filter Publications

Display / Sort

Export / Embed

74 Data Publications

Mark all

[74]
2017 | Book Review | PUB-ID: 2913645
Jean-Marie Zemb: Vergleichende Grammatik Französisch-Deutsch
Kracht M (2017)
Zeitschrift für Sprachwissenschaft 36(2): 309-316.
PUB
 
[73]
2017 | Book | PUB-ID: 2910264
Wissen und materiale Kultur
Kracht M (2017)
Weilerswist-Metternich: Barton Academics.
PUB
 
[72]
2016 | Journal Article | PUB-ID: 2910260
The Language Multiverse
Kracht M (2016)
Logic-Philosophical Studies 14: 24-35.
PUB
 
[71]
2016 | Conference Paper | PUB-ID: 2905702
Logics of Infinite Depth
Kracht M (2016)
In: Advances in Modal Logic. Vol. 11. Beklemishev L, Demri S, Máté A (Eds); London: College Publications: 435-448.
PUB
 
[70]
2015 | Conference Paper | PUB-ID: 2901767
Lexical Semantics and Model Theory: Together at Last?
Kornai A, Kracht M (2015)
In: Proceedings of the 14th Meeting on the Mathematics of Language (MoL 14). Kuhlmann M, Kanazawa M, Kobele GM (Eds); Association for Computational Linguistics: 51-61.
PUB
 
[69]
2015 | Journal Article | PUB-ID: 2901768
Aspects of Space
Kracht M (2015)
The Baltic International Yearbook of Cognition, Logic and Communication 10.
PUB | DOI
 
[68]
2015 | Book Chapter | PUB-ID: 2712513
Using Each Other's Words
Kracht M (2015)
In: The Road to Universal Logic. Festschrift for 50th Birthday of Jean-Yves Beziau Volume I. Koslow A, Buchsbaum A (Eds); , 1. Basel: Birkhäuser: 241-249.
PUB
 
[67]
2014 | Journal Article | PUB-ID: 2652225
The Grammar of Code Switching
Kracht M, Klein U (2014)
Journal of Language, Logic and Information 23(3): 313-329.
PUB | DOI | WoS
 
[66]
2014 | Journal Article | PUB-ID: 2712519
Die Entmaterialisierung des Wissens. Gedanken über ein Zivilisationsprojekt
Kracht M (2014)
Jahrbuch für Internationale Germanistik 46(1): 123-132.
PUB
 
[65]
2014 | Book Chapter | PUB-ID: 2712504
Notes on Disagreement
Kracht M, Klein U (2014)
In: Evaluations - Denotations - Entities. Studies in Context, Contents and the Foundation of Semantics. Gutzman D, Köpping J, Meier C (Eds); Leiden: Brill: 276-305.
PUB
 
[64]
2013 | Journal Article | PUB-ID: 2602032
Are Logical Languages Compositional?
Kracht M (2013)
Studia Logica 101: 1319-1340.
PUB | DOI | WoS
 
[63]
2012 | Journal Article | PUB-ID: 2602022
Gnosticism or: How Logic Fits My Mind
Kracht M (2012)
Logical Investigations 18: 273-291.
PUB
 
[62]
2012 | Journal Article | PUB-ID: 2548623
Against the single-domain constraint
Kracht M, Klein U (2012)
Theoretical Linguistics 38(3-4): 211-221.
PUB | DOI | WoS
 
[61]
2012 | Book Chapter | PUB-ID: 2602017
Joint Knowledge
Kracht M (2012)
In: Theories of Everything: In Honor of Ed Keenan. Graf T, Paperno D, Tellings J (Eds); UCLA Working Papers in Linguistics. 168-176.
PUB
 
[60]
2011 | Book | PUB-ID: 2594560
Interpreted Languages and Compositionality
Kracht M (2011) Studies in Linguistics and Philosophy.
Springer.
PUB
 
[59]
2011 | Journal Article | PUB-ID: 2289549
Gnosis
Kracht M (2011)
Journal of Philosophical Logic 40(3): 397-420.
PUB | DOI | WoS
 
[58]
2011 | Journal Article | PUB-ID: 2602024
Technical Modal Logic
Kracht M (2011)
Philosophy Compass 6(5): 350-359.
PUB | DOI
 
[57]
2011 | Book Chapter | PUB-ID: 2602034
Modal Logic Foundations of Markup-Structures in Annotation Systems
Kracht M (2011)
In: Modeling, Learning and Processing of Text Technological Data Structures. Mehler A, Kühnberger K-U, Lobin H, Lüngen H, Storrer A, Witt A (Eds); Studies in Computational Intelligence. Heidelberg: Springer: 111-127.
PUB | DOI
 
[56]
2010 | Journal Article | PUB-ID: 2602026
Judgment and Consequence Relations
Kracht M (2010)
Journal of Applied Nonclassical Logic 20: 223-235.
PUB
 
[55]
2010 | Book Chapter | PUB-ID: 2594562
The Inner Dialog: Pragmatics for One Person
Kracht M (2010)
In: Judgements and Propositions. Robering K, Bab S (Eds); Logische Philosophie. Logos Verlag: 39-59.
PUB
 
[54]
2010 | Book Chapter | PUB-ID: 2602001
Brentano's Apple
Kracht M (2010)
In: Language and Logos. Studies in Theoretical and Computational Linguistics. Hanneforth T, Fanselow G (Eds); , 72. 202-213.
PUB
 
[53]
2008 | Journal Article | PUB-ID: 2602028
The Logic of Action
Kracht M, Meyer J-J, AND Segerberg K (2008)
Stanford Encyclopedia of Philosophy.
PUB
 
[52]
2008 | Book Chapter | PUB-ID: 2610854
The fine structure of spatial expressions
Kracht M (2008)
In: The Structure of Local P. Asbury A, Dotlacil J, Gehrke B, Nouwen R (Eds); Amsterdam: John Benjamin's: 35-62.
PUB
 
[51]
2008 | Book Chapter | PUB-ID: 2602042
On the Logic of LGB-Type Structures. Part I: Multidominance Structures
Kracht M (2008)
In: Essays in honour of Uwe Mönnich. Hamm F, Kepser S (Eds); Mouton de Gruyter: 105-142.
PUB
 
[50]
2007 | Journal Article | PUB-ID: 2594556
The Emergence of Syntactic Structure
Kracht M (2007)
Linguistics and Philosophy 30(1): 47-95.
PUB | DOI | WoS
 
[49]
2006 | Conference Paper | PUB-ID: 2602046
On Pregroups, Freedom and (Virtual) Conceptual Necessity
Kobele G, Kracht M (2006)
In: Proceedings of the 29th Annual Penn Linguistics Conference. Eilam A, Scheffler T, Tauberer J (Eds); Penn Working Papers in Linguistics(12.1). 189-198.
PUB
 
[48]
2006 | Book Chapter | PUB-ID: 2594549
Directionality Selection
Kracht M (2006)
In: Linguistic Dimensions of Prepositions. Saint-Dizier P (Ed); Springer: 101-114.
PUB
 
[47]
2006 | Book Chapter | PUB-ID: 2594544
Modal Consequence Relations
Kracht M (2006)
In: Handbook of Modal Logic. Benthem van J, Blackburn P, Wolter F (Eds); Amsterdam: Elsevier.
PUB
 
[46]
2006 | Journal Article | PUB-ID: 2594552
Partial Algebras, Meaning Categories and Algebraization
Kracht M (2006)
Theoretical Computer Science 354(1): 131-141.
PUB | DOI | WoS
 
[45]
2005 | Book Chapter | PUB-ID: 2594582
The Semantics of Modal Predicate Logic II. Modal Individuals Revisited
Kracht M, Kutz O (2005)
In: Intensionality. Kahle R (Ed); ASL Lecture Notes in Logic, 22. Los Angeles: A. K. Peters: 60-97.
PUB
 
[44]
2005 | Book Chapter | PUB-ID: 2594539
The Semantics of Locatives in the Uralic Languages
Kracht M (2005)
In: Les languages ouraliennes aujourd'hui. Approche linguistics et cognitive. Fernandez-Vest J (Ed); Bibilothèque de l'Ecole des Hautes Etudes, Sciences Historiques et Philologiques. Paris: Librarie Honoré Champion: 145-158.
PUB
 
[43]
2004 | Conference Paper | PUB-ID: 2594532
Notes on Substitution in First–Order Logic
Kracht M (2004)
In: First-Order Logic 75. Scheffler U (Ed); Berlin: Logos Verlag: 155-172.
PUB
 
[42]
2003 | Book Chapter | PUB-ID: 2594528
Against the feature bundle theory of case
Kracht M (2003)
In: New Perspectives on Case Theory. Brandner E, Zinsmeister H (Eds); CSLI lecture notes, 156. Stanford: CSLI Publications: 165-190.
PUB
 
[41]
2003 | Book | PUB-ID: 2594509
Mathematics of Language
Kracht M (2003)
Berlin: Mouton de Gruyter.
PUB | PDF
 
[40]
2003 | Journal Article | PUB-ID: 2594520
Constraints on Derivations
Kracht M (2003)
Grammars 6: 89-113.
PUB
 
[39]
2003 | Conference Paper | PUB-ID: 2594511
Features in Phonological Theory
Kracht M (2003)
In: Foundations of the Formal Sciences II, Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 11–13, 2000. L"owe B, Malzkorn W, Räsch T (Eds); Trends in Logic(17). Dordrecht: Kluwer: 123-149.
PUB
 
[38]
2003 | Conference Paper | PUB-ID: 2594522
Notes on the Space Requirement for Checking Satisfiability in Modal Logics
Kracht M (2003)
In: Advances in Modal Logic 4. Balbiani P, Suzuki N-Y, Wolter F, Zakharyaschev M (Eds); King's College Publications: 243-264.
PUB
 
[37]
2003 | Journal Article | PUB-ID: 2594516
The Combinatorics of Cases
Kracht M (2003)
Research on Language and Computation 1: 59-97.
PUB
 
[36]
2002 | Conference Paper | PUB-ID: 2594578
Elementary Models for Modal Predicate Logic. Part 1: Completeness
Kracht M, Kutz O (2002)
In: Advances in Modal Logic 3. Wolter F (Ed); World Scientific: 299-320.
PUB
 
[35]
2002 | Book Chapter | PUB-ID: 2594366
Dynamic Semantics
Kracht M (2002)
In: Semantics. Hamm F, Zimmmrmann TE (Eds); Linguistische Berichte Sonderheft 10. Helmut Buske Verlag: 217-241.
PUB
 
[34]
2002 | Journal Article | PUB-ID: 2594499
On the Semantics of Locatives
Kracht M (2002)
Linguistics and Philosophy 25: 157-232.
PUB
 
[33]
2002 | Journal Article | PUB-ID: 2594495
Invariant Logics
Kracht M (2002)
Mathematical Logic Quarterly 48: 29-50.
PUB
 
[32]
2002 | Conference Paper | PUB-ID: 2594606
Formal Syntax and Semantics of Case Stacking Languages
Ebert C, Kracht M (2002)
In: Proceedings Coling 2000. 250-256.
PUB
 
[31]
2002 | Journal Article | PUB-ID: 2594497
Referent Systems and Relational Grammar
Kracht M (2002)
Journal of Logic, Language and Information 11: 251-286.
PUB
 
[30]
2001 | Conference Paper | PUB-ID: 2594490
Strict Compositionality and Literal Movement Grammars
Kracht M (2001)
In: Logical Aspects of Computational Linguistics '98. Moortgat M (Ed); Springer Lecture Notes in Artificial Intelligence(2014). 126-142.
PUB
 
[29]
2001 | Conference Paper | PUB-ID: 2594493
The structure of locative cases and its relevance in the study of Uralic languages
Kracht M (2001)
In: Proceedings of the Congressus IX. Fenno–Ugristarum in Tartu 2000.
PUB
 
[28]
2001 | Journal Article | PUB-ID: 2594486
Syntax in Chains
Kracht M (2001)
Linguistics and Philosophy 24: 467-529.
PUB
 
[27]
2001 | Journal Article | PUB-ID: 2594488
Reducing Modal Consequence Relations
Kracht M (2001)
Journal of Logic and Computation 11: 879-907.
PUB
 
[26]
2001 | Journal Article | PUB-ID: 2594361
Atomic incompleteness or how to kill one bird with two stones
Kowalski T, Kracht M (2001)
Bulletin of Section Logic 30: 71-78.
PUB
 
[25]
1999 | Book | PUB-ID: 2594465
Tools and Techniques in Modal Logic
Kracht M (1999) Studies in Logic.
Amsterdam: Elsevier.
PUB
 
[24]
1999 | Journal Article | PUB-ID: 2594599
Normal modal logics can simulate all others
Kracht M, Wolter F (1999)
Journal of Symbolic Logic 64: 99-138.
PUB
 
[23]
1999 | Journal Article | PUB-ID: 2594469
Modal Logics that Need Very Large Frames
Kracht M (1999)
Notre Dame Journal of Formal Logic 40: 578-587.
PUB
 
[22]
1999 | Journal Article | PUB-ID: 2594471
Lattices of Modal Logics and Their Groups of Automorphisms
Kracht M (1999)
Journal of Pure and Applied Logic 100: 99-139.
PUB
 
[21]
1998 | Book Chapter | PUB-ID: 2594455
Adjunction Structures and Syntactic Domains
Kracht M (1998)
In: The Mathematics of Sentence Structure. Kolb H--P, Mönnich U (Eds); Berlin: Mouton–de Gruyter: 259-299.
PUB
 
[20]
1998 | Journal Article | PUB-ID: 2594461
On Extensions of Intermediate Logics by Strong Negation
Kracht M (1998)
Journal of Philosophical Logic 27: 49-73.
PUB
 
[19]
1997 | Conference Paper | PUB-ID: 2594602
Semilinearity as a Syntactic Invariant
Michaelis J, Kracht M (1997)
In: Logical Aspects of Computational Linguistics (LACL '96). Retoré C (Ed); Lecture Notes in Computer Science, 1328. Berlin, Heidelberg: Springer: 329-345.
PUB | DOI
 
[18]
1997 | Conference Paper | PUB-ID: 2594440
Inessential Features
Kracht M (1997)
In: Logical Aspects of Computational Linguistics (LACL '96). Retor'e C (Ed); Lecture Notes in Artificial Intelligence(1328). Heidelberg: Springer: 43-62.
PUB
 
[17]
1997 | Book Chapter | PUB-ID: 2594443
On Reducing Principles to Rules
Kracht M (1997)
In: Specifying Syntactic Structure. Blackburn P, Rijke de M (Eds); Studies in Logic, Language and Information. Stanford: CSLI: 25-53.
PUB
 
[16]
1997 | Journal Article | PUB-ID: 2594593
Simulation and Transfer Results in Modal Logic – A Survey
Kracht M, Wolter F (1997)
Studia Logica 59: 149-177.
PUB
 
[15]
1996 | Book Chapter | PUB-ID: 2594430
Power and Weakness of the Modal Display Calculus
Kracht M (1996)
In: Proof Theory of Modal Logic. Wansing H (Ed); Oxford University Press: 95-120.
PUB
 
[14]
1995 | Journal Article | PUB-ID: 2594422
Syntactic Codes and Grammar Refinement
Kracht M (1995)
Journal of Logic, Language and Information: 41-60.
PUB
 
[13]
1995 | Journal Article | PUB-ID: 2594418
Is there a genuine modal perspective on feature structures?
Kracht M (1995)
Linguistics and Philosophy 18: 401-458.
PUB
 
[12]
1995 | Journal Article | PUB-ID: 2594424
Highway to the Danger Zone
Kracht M (1995)
Journal of Logic and Computation 5: 93-109.
PUB
 
[11]
1995 | Journal Article | PUB-ID: 2594426
Gumm's Theorem and the Structure of Minimal Algebras
Kracht M (1995)
Algebra Universalis 33: 142-146.
PUB
 
[10]
1994 | Book Chapter | PUB-ID: 2594414
Logic and Control: How They Determine the Behaviour of Presuppositions
Kracht M (1994)
In: Logic and Information Flow. Eijck van J, Visser A (Eds); Cambridge, Massachusetts: MIT Press: 88-111.
PUB
 
[9]
1993 | Book Chapter | PUB-ID: 2594394
How Completeness and Correspondence Theory Got Married
Kracht M (1993)
In: Diamonds and Defaults. Rijke de M (Ed); Synthese. Kluwer: 175-214.
PUB
 
[8]
1993 | Journal Article | PUB-ID: 2594401
Splittings and the finite model property
Kracht M (1993)
Journal of Symbolic Logic 58: 139-157.
PUB
 
[7]
1993 | Journal Article | PUB-ID: 2594399
Prefinitely Axiomatizable Modal and Intermediate Logics
Kracht M (1993)
Mathematical Logic Quarterly 39: 301-322.
PUB
 
[6]
1993 | Conference Paper | PUB-ID: 2594390
Mathematical Aspects of Command Relations
Kracht M (1993)
In: Proceedings of the EACL 93. 240-249.
PUB
 
[5]
1992 | Journal Article | PUB-ID: 2594384
Even more about the lattice of tense logics
Kracht M (1992)
Archive of Mathematical Logic 31: 243-357.
PUB
 
[4]
1991 | Journal Article | PUB-ID: 2594590
Properties of independently axiomatizable bimodal logics
Kracht M, Wolter F (1991)
Journal of Symbolic Logic 56: 1469-1485.
PUB
 
[3]
1991 | Journal Article | PUB-ID: 2594376
A solution to a problem by Urquhart
Kracht M (1991)
Journal of Philosophical Logic 20: 285-286.
PUB
 
[2]
1990 | Journal Article | PUB-ID: 2594374
An Almost General Splitting Theorem For Modal Logic
Kracht M (1990)
Studia Logica 49: 455-470.
PUB
 
[1]
1989 | Journal Article | PUB-ID: 2594370
On the Logic of Category Definitions
Kracht M (1989)
Computational Linguistics 15: 111-113.
PUB
 

Search

Filter Publications

Display / Sort

Export / Embed