75 Publikationen
-
2017 | Rezension | PUB-ID: 2913645Kracht M (2017)PUB
Jean-Marie Zemb: Vergleichende Grammatik Französisch-Deutsch.
Zeitschrift für Sprachwissenschaft 36(2): 309-316. -
2017 | Monographie | Veröffentlicht | PUB-ID: 2910264Kracht M (2017)PUB
Wissen und materiale Kultur.
Weilerswist-Metternich: Barton Academics. -
2016 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2910260Kracht M (2016)PUB
The Language Multiverse.
Logic-Philosophical Studies 14: 24-35. -
2016 | Konferenzbeitrag | PUB-ID: 2905702Kracht M (2016)PUB
Logics of Infinite Depth.
In: Advances in Modal Logic. Vol. 11. Beklemishev L, Demri S, Máté A (Eds); London: College Publications: 435-448. -
-
2015 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2712513Kracht M (2015)PUB
Using Each Other's Words.
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. -
2015 | Konferenzbeitrag | Veröffentlicht | PUB-ID: 2901767Kornai A, Kracht M (2015)PUB
Lexical Semantics and Model Theory: Together at Last?
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. -
-
2014 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2712504Kracht M, Klein U (2014)PUB
Notes on Disagreement.
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. -
2014 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2712519Kracht M (2014)PUB
Die Entmaterialisierung des Wissens. Gedanken über ein Zivilisationsprojekt.
Jahrbuch für Internationale Germanistik 46(1): 123-132. -
-
2012 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2602022Kracht M (2012)PUB
Gnosticism or: How Logic Fits My Mind.
Logical Investigations 18: 273-291. -
2012 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2602017Kracht M (2012)PUB
Joint Knowledge.
In: Theories of Everything: In Honor of Ed Keenan. Graf T, Paperno D, Tellings J (Eds); UCLA Working Papers in Linguistics, 168-176. -
2012 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2548623Kracht M, Klein U (2012)PUB | DOI | Download (ext.) | WoS
Against the single-domain constraint.
Theoretical Linguistics 38(3-4): 211-221. -
2011 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2602034Kracht M (2011)PUB | DOI
Modal Logic Foundations of Markup-Structures in Annotation Systems.
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. -
2011 | Monographie | Veröffentlicht | PUB-ID: 2594560Kracht M (2011)PUB
Interpreted Languages and Compositionality. Studies in Linguistics and Philosophy; 89.
Dordrecht : Springer. -
-
-
2010 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2594562Kracht M (2010)PUB
The Inner Dialog: Pragmatics for One Person.
In: Judgements and Propositions. Robering K, Bab S (Eds); Logische Philosophie, [21]. Berlin: Logos Verlag: 39-59. -
2010 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2602026Kracht M (2010)PUB
Judgment and Consequence Relations.
Journal of Applied Nonclassical Logic 20: 223-235. -
2010 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2602001Kracht M (2010)PUB
Brentano's Apple.
In: Language and Logos. Studies in Theoretical and Computational Linguistics. Hanneforth T, Fanselow G (Eds);72. 202-213. -
2008 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2602042Kracht M (2008)PUB
On the Logic of LGB-Type Structures. Part I: Multidominance Structures.
In: Essays in honour of Uwe Mönnich. Hamm F, Kepser S (Eds); Mouton de Gruyter: 105-142. -
2008 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2602028Kracht M, Meyer J-J, AND Segerberg K (2008)PUB
The Logic of Action.
Stanford Encyclopedia of Philosophy. -
2008 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2610854Kracht M (2008)PUB
The fine structure of spatial expressions.
In: The Structure of Local P. Asbury A, Dotlacil J, Gehrke B, Nouwen R (Eds); Amsterdam: John Benjamin's: 35-62. -
-
2006 | Konferenzbeitrag | Veröffentlicht | PUB-ID: 2602046Kobele G, Kracht M (2006)PUB
On Pregroups, Freedom and (Virtual) Conceptual Necessity.
In: Proceedings of the 29th Annual Penn Linguistics Conference. Eilam A, Scheffler T, Tauberer J (Eds); Penn Working Papers in Linguistics, 189-198. -
-
2006 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2594544Kracht M (2006)PUB
Modal Consequence Relations.
In: Handbook of Modal Logic. Benthem van J, Blackburn P, Wolter F (Eds); Amsterdam: Elsevier. -
2006 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2594549Kracht M (2006)PUB
Directionality Selection.
In: Linguistic Dimensions of Prepositions. Saint-Dizier P (Ed); Springer: 101-114. -
2005 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2594539Kracht M (2005)PUB
The Semantics of Locatives in the Uralic Languages.
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. -
2005 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2594582Kracht M, Kutz O (2005)PUB
The Semantics of Modal Predicate Logic II. Modal Individuals Revisited.
In: Intensionality. Kahle R (Ed); ASL Lecture Notes in Logic, 22. Los Angeles: A. K. Peters: 60-97. -
2004 | Konferenzbeitrag | Veröffentlicht | PUB-ID: 2594532Kracht M (2004)PUB
Notes on Substitution in First–Order Logic.
In: First-Order Logic 75. Scheffler U (Ed); Berlin: Logos Verlag: 155-172. -
-
2003 | Konferenzbeitrag | Veröffentlicht | PUB-ID: 2594511Kracht M (2003)PUB
Features in Phonological Theory.
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, Dordrecht: Kluwer: 123-149. -
2003 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594516Kracht M (2003)PUB
The Combinatorics of Cases.
Research on Language and Computation 1: 59-97. -
2003 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2594528Kracht M (2003)PUB
Against the feature bundle theory of case.
In: New Perspectives on Case Theory. Brandner E, Zinsmeister H (Eds); CSLI lecture notes, 156. Stanford: CSLI Publications: 165-190. -
2003 | Konferenzbeitrag | Veröffentlicht | PUB-ID: 2594522Kracht M (2003)PUB
Notes on the Space Requirement for Checking Satisfiability in Modal Logics.
In: Advances in Modal Logic 4. Balbiani P, Suzuki N-Y, Wolter F, Zakharyaschev M (Eds); King's College Publications: 243-264. -
2003 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594520Kracht M (2003)PUB
Constraints on Derivations.
Grammars 6: 89-113. -
2002 | Konferenzbeitrag | Veröffentlicht | PUB-ID: 2594578Kracht M, Kutz O (2002)PUB
Elementary Models for Modal Predicate Logic. Part 1: Completeness.
In: Advances in Modal Logic 3. Wolter F (Ed); World Scientific: 299-320. -
2002 | Konferenzbeitrag | Veröffentlicht | PUB-ID: 2594606Ebert C, Kracht M (2002)PUB
Formal Syntax and Semantics of Case Stacking Languages.
In: Proceedings Coling 2000. 250-256. -
2002 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594495Kracht M (2002)PUB
Invariant Logics.
Mathematical Logic Quarterly 48: 29-50. -
2002 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594497Kracht M (2002)PUB
Referent Systems and Relational Grammar.
Journal of Logic, Language and Information 11: 251-286. -
2002 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594499Kracht M (2002)PUB
On the Semantics of Locatives.
Linguistics and Philosophy 25: 157-232. -
2002 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2594366Kracht M (2002)PUB
Dynamic Semantics.
In: Semantics. Hamm F, Zimmmrmann TE (Eds); Linguistische Berichte Sonderheft 10, Helmut Buske Verlag: 217-241. -
2001 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594488Kracht M (2001)PUB
Reducing Modal Consequence Relations.
Journal of Logic and Computation 11: 879-907. -
2001 | Konferenzbeitrag | Veröffentlicht | PUB-ID: 2594490Kracht M (2001)PUB
Strict Compositionality and Literal Movement Grammars.
In: Logical Aspects of Computational Linguistics '98. Moortgat M (Ed); Springer Lecture Notes in Artificial Intelligence, 126-142. -
2001 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594361Kowalski T, Kracht M (2001)PUB
Atomic incompleteness or how to kill one bird with two stones.
Bulletin of Section Logic 30: 71-78. -
2001 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594486Kracht M (2001)PUB
Syntax in Chains.
Linguistics and Philosophy 24: 467-529. -
2001 | Konferenzbeitrag | Veröffentlicht | PUB-ID: 2594493Kracht M (2001)PUB
The structure of locative cases and its relevance in the study of Uralic languages.
In: Proceedings of the Congressus IX. Fenno–Ugristarum in Tartu 2000. . -
2000 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2594479Kracht M (2000)PUB
On the Semantics of Locatives.
In: Papers on the Interpretation of Case. Kracht M, Strigin A (Eds); Linguistics in Potsdam, 10. Potsdam: Universität Potsdam: 1-65. -
1999 | Monographie | Veröffentlicht | PUB-ID: 2594465Kracht M (1999)PUB
Tools and Techniques in Modal Logic. Studies in Logic.
Amsterdam: Elsevier. -
1999 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594469Kracht M (1999)PUB
Modal Logics that Need Very Large Frames.
Notre Dame Journal of Formal Logic 40: 578-587. -
1999 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594471Kracht M (1999)PUB
Lattices of Modal Logics and Their Groups of Automorphisms.
Journal of Pure and Applied Logic 100: 99-139. -
1999 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594599Kracht M, Wolter F (1999)PUB
Normal modal logics can simulate all others.
Journal of Symbolic Logic 64: 99-138. -
1998 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594461Kracht M (1998)PUB
On Extensions of Intermediate Logics by Strong Negation.
Journal of Philosophical Logic 27: 49-73. -
1998 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2594455Kracht M (1998)PUB
Adjunction Structures and Syntactic Domains.
In: The Mathematics of Sentence Structure. Kolb H--P, Mönnich U (Eds); Berlin: Mouton–de Gruyter: 259-299. -
1997 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594593Kracht M, Wolter F (1997)PUB
Simulation and Transfer Results in Modal Logic – A Survey.
Studia Logica 59: 149-177. -
1997 | Konferenzbeitrag | Veröffentlicht | PUB-ID: 2594440Kracht M (1997)PUB
Inessential Features.
In: Logical Aspects of Computational Linguistics (LACL '96). Retor'e C (Ed); Lecture Notes in Artificial Intelligence, Heidelberg: Springer: 43-62. -
-
1997 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2594443Kracht M (1997)PUB
On Reducing Principles to Rules.
In: Specifying Syntactic Structure. Blackburn P, Rijke de M (Eds); Studies in Logic, Language and Information, Stanford: CSLI: 25-53. -
1996 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2594430Kracht M (1996)PUB
Power and Weakness of the Modal Display Calculus.
In: Proof Theory of Modal Logic. Wansing H (Ed); Oxford University Press: 95-120. -
1995 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594422Kracht M (1995)PUB
Syntactic Codes and Grammar Refinement.
Journal of Logic, Language and Information: 41-60. -
1995 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594426Kracht M (1995)PUB
Gumm's Theorem and the Structure of Minimal Algebras.
Algebra Universalis 33: 142-146. -
1995 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594418Kracht M (1995)PUB
Is there a genuine modal perspective on feature structures?
Linguistics and Philosophy 18: 401-458. -
1995 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594424Kracht M (1995)PUB
Highway to the Danger Zone.
Journal of Logic and Computation 5: 93-109. -
1994 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2594414Kracht M (1994)PUB
Logic and Control: How They Determine the Behaviour of Presuppositions.
In: Logic and Information Flow. Eijck van J, Visser A (Eds); Cambridge, Massachusetts: MIT Press: 88-111. -
1993 | Konferenzbeitrag | Veröffentlicht | PUB-ID: 2594390Kracht M (1993)PUB
Mathematical Aspects of Command Relations.
In: Proceedings of the EACL 93. 240-249. -
1993 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2594394Kracht M (1993)PUB
How Completeness and Correspondence Theory Got Married.
In: Diamonds and Defaults. Rijke de M (Ed); Synthese, Kluwer: 175-214. -
1993 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594399Kracht M (1993)PUB
Prefinitely Axiomatizable Modal and Intermediate Logics.
Mathematical Logic Quarterly 39: 301-322. -
1993 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594401Kracht M (1993)PUB
Splittings and the finite model property.
Journal of Symbolic Logic 58: 139-157. -
1992 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594384Kracht M (1992)PUB
Even more about the lattice of tense logics.
Archive of Mathematical Logic 31: 243-357. -
1991 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594376Kracht M (1991)PUB
A solution to a problem by Urquhart.
Journal of Philosophical Logic 20: 285-286. -
1991 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594590Kracht M, Wolter F (1991)PUB
Properties of independently axiomatizable bimodal logics.
Journal of Symbolic Logic 56: 1469-1485. -
1990 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594374Kracht M (1990)PUB
An Almost General Splitting Theorem For Modal Logic.
Studia Logica 49: 455-470. -
1989 | Zeitschriftenaufsatz | Veröffentlicht | PUB-ID: 2594370Kracht M (1989)PUB
On the Logic of Category Definitions.
Computational Linguistics 15: 111-113.