×

zbMATH — the first resource for mathematics

Kracht, Marcus

Compute Distance To:
Author ID: kracht.marcus Recent zbMATH articles by "Kracht, Marcus"
Published as: Kracht, Marcus; Kracht, M.
External Links: MGP
Documents Indexed: 46 Publications since 1990, including 5 Books

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 254 times in 210 Documents Cited by Year
Tools and techniques in modal logic. Zbl 0927.03002
Kracht, M.
63
1999
Properties of independently axiomatizable bimodal logics. Zbl 0743.03013
Kracht, Marcus; Wolter, Frank
27
1991
On extensions of intermediate logics by strong negation. Zbl 0929.03035
Kracht, Marcus
20
1998
Normal monomodal logics can simulate all others. Zbl 0972.03019
Kracht, Marcus; Wolter, Frank
18
1999
Power and weakness of the modal display calculus. Zbl 0864.03014
Kracht, Marcus
17
1996
The mathematics of language. Zbl 1104.03019
Kracht, Marcus
14
2003
Simulation and transfer results in modal logic – a survey. Zbl 0960.03014
Kracht, Marcus; Wolter, Frank
13
1997
An almost general splitting theorem for modal logic. Zbl 0732.03012
Kracht, Marcus
10
1990
Syntactic codes and grammar refinement. Zbl 0833.03009
Kracht, Marcus
8
1995
Semilinearity as a syntactic invariant. Zbl 0889.03020
Michaelis, Jens; Kracht, Marcus
8
1997
Splittings and the finite model property. Zbl 0782.03006
Kracht, Marcus
6
1993
How completeness and correspondence theory got married. Zbl 0829.03010
Kracht, Marcus
6
1993
Semisimple varieties of modal algebras. Zbl 1099.03056
Kowalski, Tomasz; Kracht, Marcus
5
2006
Prefinitely axiomatizable modal and intermediate logics. Zbl 0799.03011
Kracht, Marcus
4
1993
Internal definability and completeness in modal logic. Zbl 0742.03004
Kracht, Marcus
4
1991
Even more about the lattice of tense logics. Zbl 0787.03013
Kracht, Marcus
4
1992
Lattices of modal logics and their groups of automorphisms. Zbl 0938.03035
Kracht, Marcus
3
1999
Inessential features. Zbl 0896.03023
Kracht, Marcus
3
1997
The semantics of modal predicate logic. II: Modal individuals revisited. Zbl 1090.03005
Kracht, Marcus; Kutz, Oliver
3
2005
Partial algebras, meaning categories and algebraization. Zbl 1088.03028
Kracht, Marcus
2
2006
Strict compositionality and literal movement grammars. Zbl 0976.03032
Kracht, Marcus
2
2001
Reducing modal consequence relations. Zbl 0997.03022
Kracht, Marcus
2
2001
Highway to the danger zone. Zbl 0818.03009
Kracht, Marcus
2
1995
Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Zbl 0897.00022
Kracht, Marcus (ed.); De Rijke, Maarten (ed.); Wansing, Heinrich (ed.); Zakharyaschev, Michael (ed.)
2
1998
Judgment and consequence relations. Zbl 1242.03040
Kracht, Marcus
2
2010
Notes on substitution in first-order logic. Zbl 1100.03009
Kracht, Marcus
1
2004
Gnosis. Zbl 1233.03010
Kracht, Marcus
1
2011
Are logical languages compositional? Zbl 1329.03017
Kracht, Marcus
1
2013
Logic and syntax – a personal perspective. Zbl 0993.03040
Kracht, Marcus
1
2001
The combinatorics of cases. Zbl 1067.68155
Kracht, Marcus
1
2003
Atomic incompleteness or how to kill one bird with two stones. Zbl 1038.03532
Kracht, Marcus; Kowalski, Tomasz
1
2001
Are logical languages compositional? Zbl 1329.03017
Kracht, Marcus
1
2013
Gnosis. Zbl 1233.03010
Kracht, Marcus
1
2011
Judgment and consequence relations. Zbl 1242.03040
Kracht, Marcus
2
2010
Semisimple varieties of modal algebras. Zbl 1099.03056
Kowalski, Tomasz; Kracht, Marcus
5
2006
Partial algebras, meaning categories and algebraization. Zbl 1088.03028
Kracht, Marcus
2
2006
The semantics of modal predicate logic. II: Modal individuals revisited. Zbl 1090.03005
Kracht, Marcus; Kutz, Oliver
3
2005
Notes on substitution in first-order logic. Zbl 1100.03009
Kracht, Marcus
1
2004
The mathematics of language. Zbl 1104.03019
Kracht, Marcus
14
2003
The combinatorics of cases. Zbl 1067.68155
Kracht, Marcus
1
2003
Strict compositionality and literal movement grammars. Zbl 0976.03032
Kracht, Marcus
2
2001
Reducing modal consequence relations. Zbl 0997.03022
Kracht, Marcus
2
2001
Logic and syntax – a personal perspective. Zbl 0993.03040
Kracht, Marcus
1
2001
Atomic incompleteness or how to kill one bird with two stones. Zbl 1038.03532
Kracht, Marcus; Kowalski, Tomasz
1
2001
Tools and techniques in modal logic. Zbl 0927.03002
Kracht, M.
63
1999
Normal monomodal logics can simulate all others. Zbl 0972.03019
Kracht, Marcus; Wolter, Frank
18
1999
Lattices of modal logics and their groups of automorphisms. Zbl 0938.03035
Kracht, Marcus
3
1999
On extensions of intermediate logics by strong negation. Zbl 0929.03035
Kracht, Marcus
20
1998
Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Zbl 0897.00022
Kracht, Marcus; De Rijke, Maarten; Wansing, Heinrich; Zakharyaschev, Michael
2
1998
Simulation and transfer results in modal logic – a survey. Zbl 0960.03014
Kracht, Marcus; Wolter, Frank
13
1997
Semilinearity as a syntactic invariant. Zbl 0889.03020
Michaelis, Jens; Kracht, Marcus
8
1997
Inessential features. Zbl 0896.03023
Kracht, Marcus
3
1997
Power and weakness of the modal display calculus. Zbl 0864.03014
Kracht, Marcus
17
1996
Syntactic codes and grammar refinement. Zbl 0833.03009
Kracht, Marcus
8
1995
Highway to the danger zone. Zbl 0818.03009
Kracht, Marcus
2
1995
Splittings and the finite model property. Zbl 0782.03006
Kracht, Marcus
6
1993
How completeness and correspondence theory got married. Zbl 0829.03010
Kracht, Marcus
6
1993
Prefinitely axiomatizable modal and intermediate logics. Zbl 0799.03011
Kracht, Marcus
4
1993
Even more about the lattice of tense logics. Zbl 0787.03013
Kracht, Marcus
4
1992
Properties of independently axiomatizable bimodal logics. Zbl 0743.03013
Kracht, Marcus; Wolter, Frank
27
1991
Internal definability and completeness in modal logic. Zbl 0742.03004
Kracht, Marcus
4
1991
An almost general splitting theorem for modal logic. Zbl 0732.03012
Kracht, Marcus
10
1990
all top 5

Cited by 246 Authors

13 Bezhanishvili, Nick
9 Kracht, Marcus
8 Odintsov, Sergei P.
7 Bezhanishvili, Guram
7 Kowalski, Tomasz Marek
7 Wolter, Frank
6 Venema, Yde
5 Hodkinson, Ian Martin
5 Rasga, João
5 Sernadas, Cristina S.
5 van Benthem, Johan F. A. K.
5 Wansing, Heinrich Theodor
4 Ciabattoni, Agata
4 Gabbay, Dov M.
4 Humberstone, Lloyd
4 Vakarelov, Dimiter
3 Ågotnes, Thomas
3 Andréka, Hajnal
3 Brotherston, James
3 Celani, Sergio Arturo
3 Citkin, Alex
3 Drobyshevich, Sergeĭ Andreevich
3 Ghilardi, Silvio
3 Goldblatt, Robert Ian
3 Kikot, Stanislav
3 Kobele, Gregory M.
3 Michaelis, Jens
3 Moraschini, Tommaso
3 Németi, István
3 Rönnedal, Daniel
3 Schmidt, Renate A.
2 Askounis, Dimitris
2 Benevides, Mario R. F.
2 Blackburn, Patrick
2 Calardo, Erica
2 Conradie, Willem J.
2 Davey, Brian A.
2 de Rijke, Maarten
2 Finger, Marcelo
2 Fitting, Melvin Chris
2 Francez, Nissim
2 Galatos, Nikolaos
2 Gouveia, Maria João
2 Haeusler, Edward Hermann
2 Holliday, Wesley H.
2 Hustadt, Ullrich
2 Kaminsky, Michael
2 Kanazawa, Makoto
2 Koutras, Costas D.
2 Kutz, Oliver
2 Latkin, E. I.
2 Lopes, Bruno Domeniciano
2 Ma, Minghui
2 Mundhenk, Martin
2 Negri, Sara
2 Palmigiano, Alessandra
2 Ramanayake, Revantha
2 Robles, Gemma
2 Rotolo, Antonino
2 Rybakov, Vladimir Vladimirovich
2 Salvati, Sylvain
2 Schneider, Thomas
2 Sourabh, Sumit
2 Speranski, Stanislav O.
2 Taylor, Christopher J.
2 Terui, Kazushige
2 Tishkovsky, Dmitry
2 van der Hoek, Wiebe
2 Wang, Yanjing
2 Weber, Volker
2 Wooldridge, Michael J.
2 Wurm, Christian
2 Yoshinaka, Ryo
2 Zakharyaschev, Michael Viktorovich
2 Zikos, Yorgos
1 Adi, Kamel
1 Afanasiev, Loredana
1 Alechina, Natasha
1 Angluin, Dana
1 Arieli, Ofer
1 Artemov, Sergei
1 Aspnes, James
1 Baader, Franz
1 Balbiani, Philippe
1 Batchelder, William H.
1 beim Graben, Peter
1 Beklemishev, Lev D.
1 Bethke, Inge
1 Beyersdorff, Olaf
1 Bird, Steven
1 Bonzio, Stefano
1 Borg, Annemarie
1 Bourreau, Pierre
1 Broersen, Jan M.
1 Bulian, Jannis
1 Busaniche, Manuela
1 Caleiro, Carlos
1 Cantwell, John C.
1 Chao, Fei
1 Chen, Jinsheng
...and 146 more Authors

Citations by Year