@inproceedings{conf/i-semantics/BrandtK11, added-at = {2011-11-20T00:00:00.000+0100}, author = {Brandt, Christoph and Kracht, Marcus}, biburl = {http://www.bibsonomy.org/bibtex/2408e7916be26b326e101ff6ff6b4bc49/dblp}, booktitle = {I-SEMANTICS}, crossref = {conf/i-semantics/2011}, editor = {Ghidini, Chiara and Ngomo, Axel-Cyrille Ngonga and Lindstaedt, Stefanie N. and Pellegrini, Tassilo}, ee = {http://doi.acm.org/10.1145/2063518.2063549}, interhash = {76b20c2bd220fbd8ff578bbb34c28e06}, intrahash = {408e7916be26b326e101ff6ff6b4bc49}, isbn = {978-1-4503-0621-8}, keywords = {dblp}, pages = {195-202}, publisher = {ACM}, series = {ACM International Conference Proceeding Series}, title = {Syntax, semantics and pragmatics in communication.}, url = {http://dblp.uni-trier.de/db/conf/i-semantics/i-semantics2011.html#BrandtK11}, year = 2011 } @article{journals/jancl/Kracht10, added-at = {2011-08-11T00:00:00.000+0200}, author = {Kracht, Marcus}, biburl = {http://www.bibsonomy.org/bibtex/2ce92dd12a96f1c1cf21b4c3a18595d70/dblp}, ee = {http://jancl.e-revues.com/article.jsp?articleId=15786}, interhash = {6e69ceb4f65d04438ec1d9884fdb5118}, intrahash = {ce92dd12a96f1c1cf21b4c3a18595d70}, journal = {Journal of Applied Non-Classical Logics}, keywords = {dblp}, number = 4, pages = {423-435}, title = {Judgment and consequence relations.}, url = {http://dblp.uni-trier.de/db/journals/jancl/jancl20.html#Kracht10}, volume = 20, year = 2010 } @article{journals/apal/Kracht99, added-at = {2011-07-01T00:00:00.000+0200}, author = {Kracht, Marcus}, biburl = {http://www.bibsonomy.org/bibtex/277ab89c67a5566d3ebb0113d73694d4d/dblp}, ee = {http://dx.doi.org/10.1016/S0168-0072(99)00007-X}, interhash = {f9be4472a86c8a2afc23ec61edfdabf0}, intrahash = {77ab89c67a5566d3ebb0113d73694d4d}, journal = {Ann. Pure Appl. Logic}, keywords = {dblp}, number = {1-3}, pages = {99-139}, title = {Lattices of Modal Logics and Their Groups of Automorphisms.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal100.html#Kracht99}, volume = 100, year = 1999 } @article{journals/logcom/Kracht01, added-at = {2011-06-29T00:00:00.000+0200}, author = {Kracht, Marcus}, biburl = {http://www.bibsonomy.org/bibtex/2e311eeec4d99cee0e1191e37e14a0fe5/dblp}, ee = {http://dx.doi.org/10.1093/logcom/11.6.879}, interhash = {be4c1ff6d98a9b7822e1d2e389055686}, intrahash = {e311eeec4d99cee0e1191e37e14a0fe5}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 6, pages = {879-907}, title = {Reducing Modal Consequence Relations.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom11.html#Kracht01}, volume = 11, year = 2001 } @article{journals/logcom/Kracht95, added-at = {2011-06-29T00:00:00.000+0200}, author = {Kracht, Marcus}, biburl = {http://www.bibsonomy.org/bibtex/2a2d91107ad830719bfdee02a067fdc3c/dblp}, ee = {http://dx.doi.org/10.1093/logcom/5.1.93}, interhash = {0b10d9677a84b7c749bc89d76b224878}, intrahash = {a2d91107ad830719bfdee02a067fdc3c}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 1, pages = {93-109}, title = {Highway to the Danger Zone.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom5.html#Kracht95}, volume = 5, year = 1995 } @inproceedings{conf/lacl/Kracht98, added-at = {2011-06-23T00:00:00.000+0200}, author = {Kracht, Marcus}, biburl = {http://www.bibsonomy.org/bibtex/25f0df00d7db4281b7923297da6f978a8/dblp}, booktitle = {LACL}, crossref = {conf/lacl/1998}, editor = {Moortgat, Michael}, ee = {http://dx.doi.org/10.1007/3-540-45738-0_8}, interhash = {75e9a6e82e2948bacf486e43fa4380a4}, intrahash = {5f0df00d7db4281b7923297da6f978a8}, isbn = {3-540-42251-X}, keywords = {dblp}, pages = {126-142}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Strict Compositionality and Literal Movement Grammars.}, url = {http://dblp.uni-trier.de/db/conf/lacl/lacl1998.html#Kracht98}, volume = 2014, year = 1998 } @inproceedings{conf/fuzzy/KrachtGUS99, added-at = {2011-06-17T00:00:00.000+0200}, author = {Kracht, C. and Geyer, Hannes and Ulbig, Peter and Schulz, Siegfried}, biburl = {http://www.bibsonomy.org/bibtex/2652882be348ea3449a82c6cec0dd6a78/dblp}, booktitle = {Fuzzy Days}, crossref = {conf/fuzzy/1999}, editor = {Reusch, Bernd}, ee = {http://dx.doi.org/10.1007/3-540-48774-3_70}, interhash = {879f4748a26da9b88e83fe950ce49fd2}, intrahash = {652882be348ea3449a82c6cec0dd6a78}, isbn = {3-540-66050-X}, keywords = {dblp}, pages = {647-657}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Parameter Optimization of Group Contribution Methods in High Dimensional Solution Spaces.}, url = {http://dblp.uni-trier.de/db/conf/fuzzy/fuzzy1999.html#KrachtGUS99}, volume = 1625, year = 1999 } @inproceedings{conf/lacl/Kracht96, added-at = {2011-06-16T00:00:00.000+0200}, author = {Kracht, Marcus}, biburl = {http://www.bibsonomy.org/bibtex/22e8ae1b5d37c594f8aeb83164005abea/dblp}, booktitle = {LACL}, crossref = {conf/lacl/1996}, editor = {Retoré, Christian}, ee = {http://dx.doi.org/10.1007/BFb0052150}, interhash = {ac2ab1db9b3654c55e479a84aba6d639}, intrahash = {2e8ae1b5d37c594f8aeb83164005abea}, isbn = {3-540-63700-1}, keywords = {dblp}, pages = {43-62}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Inessential Features.}, url = {http://dblp.uni-trier.de/db/conf/lacl/lacl96.html#Kracht96}, volume = 1328, year = 1996 } @inproceedings{conf/lacl/MichaelisK96, added-at = {2011-06-16T00:00:00.000+0200}, author = {Michaelis, Jens and Kracht, Marcus}, biburl = {http://www.bibsonomy.org/bibtex/2e8f7b9f403f47974bdfff6101884f700/dblp}, booktitle = {LACL}, crossref = {conf/lacl/1996}, editor = {Retoré, Christian}, ee = {http://dx.doi.org/10.1007/BFb0052165}, interhash = {96d8dffb919d2d363f53860e7cd9ee87}, intrahash = {e8f7b9f403f47974bdfff6101884f700}, isbn = {3-540-63700-1}, keywords = {dblp}, pages = {329-345}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Semilinearity as a Syntactic Invariant.}, url = {http://dblp.uni-trier.de/db/conf/lacl/lacl96.html#MichaelisK96}, volume = 1328, year = 1996 } @article{journals/sLogica/KrachtW97, added-at = {2011-06-03T00:00:00.000+0200}, author = {Kracht, Marcus and Wolter, Frank}, biburl = {http://www.bibsonomy.org/bibtex/296d1287fa4fd6f56c4c19f02f576f57f/dblp}, ee = {http://dx.doi.org/10.1023/A:1004900300438}, interhash = {849e42e3d6dfcce351a94e212142dd1f}, intrahash = {96d1287fa4fd6f56c4c19f02f576f57f}, journal = {Studia Logica}, keywords = {dblp}, number = 1, pages = {149-177}, title = {Simulation and Transfer Results in Modal Logic - A Survey.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica59.html#KrachtW97}, volume = 59, year = 1997 } @article{journals/jolli/Kracht02, added-at = {2011-05-26T00:00:00.000+0200}, author = {Kracht, Marcus}, biburl = {http://www.bibsonomy.org/bibtex/217f18782235b25d781d076fcf8195db7/dblp}, ee = {http://dx.doi.org/10.1023/A:1017512030430}, interhash = {8c3ff6970a61ba61836191aa7880aa42}, intrahash = {17f18782235b25d781d076fcf8195db7}, journal = {Journal of Logic, Language and Information}, keywords = {dblp}, number = 2, pages = {251-286}, title = {Referent Systems and Relational Grammar.}, url = {http://dblp.uni-trier.de/db/journals/jolli/jolli11.html#Kracht02}, volume = 11, year = 2002 } @article{journals/jolli/Kracht95, added-at = {2011-05-26T00:00:00.000+0200}, author = {Kracht, Marcus}, biburl = {http://www.bibsonomy.org/bibtex/28c02fd67598f82393ea47040f09df1c1/dblp}, ee = {http://dx.doi.org/10.1007/BF01048404}, interhash = {1c7c3b49b3569f31b2e52eeffc609467}, intrahash = {8c02fd67598f82393ea47040f09df1c1}, journal = {Journal of Logic, Language and Information}, keywords = {dblp}, number = 1, pages = {41-60}, title = {Syntactic Codes and Grammar Refinement.}, url = {http://dblp.uni-trier.de/db/journals/jolli/jolli4.html#Kracht95}, volume = 4, year = 1995 } @article{journals/jsyml/Kracht93, added-at = {2010-07-21T15:46:12.000+0200}, author = {Kracht, Marcus}, biburl = {http://www.bibsonomy.org/bibtex/2acee51ae1a43073988b58c213482c49a/dblp}, date = {2010-04-23}, ee = {http://projecteuclid.org/euclid.jsl/1183744182}, interhash = {310559d51475c3206022c18bceb08093}, intrahash = {acee51ae1a43073988b58c213482c49a}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 1, pages = {139-157}, title = {Splittings and the Finite Model Property.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml58.html#Kracht93}, volume = 58, year = 1993 } @article{journals/jsyml/KrachtW91, added-at = {2010-07-21T15:46:12.000+0200}, author = {Kracht, Marcus and Wolter, Frank}, biburl = {http://www.bibsonomy.org/bibtex/2b5f225cb7bc000c7380e544fe28bd0be/dblp}, date = {2010-04-23}, ee = {http://projecteuclid.org/euclid.jsl/1183743827}, interhash = {c0f644694768fe4cba4db5c5369e69fe}, intrahash = {b5f225cb7bc000c7380e544fe28bd0be}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 4, pages = {1469-1485}, title = {Properties of Independently Axiomatizable Bimodal Logics.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml56.html#KrachtW91}, volume = 56, year = 1991 } @article{journals/jsyml/KrachtW99, added-at = {2010-07-21T15:46:12.000+0200}, author = {Kracht, Marcus and Wolter, Frank}, biburl = {http://www.bibsonomy.org/bibtex/216f62bbbb7af2ff894880c95f86b5262/dblp}, date = {2010-04-19}, ee = {http://projecteuclid.org/euclid.jsl/1183745695}, interhash = {12e72b36e4f69bbe76ca4853899715db}, intrahash = {16f62bbbb7af2ff894880c95f86b5262}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 1, pages = {99-138}, title = {Normal Monomodal Logics Can Simulate All Others.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml64.html#KrachtW99}, volume = 64, year = 1999 } @article{journals/jolli/Kracht10, added-at = {2009-12-15T00:00:00.000+0100}, author = {Kracht, Marcus}, biburl = {http://www.bibsonomy.org/bibtex/2b4629664269169e8ef269e8fc82d0258/dblp}, date = {2009-12-15}, description = {dblp}, ee = {http://dx.doi.org/10.1007/s10849-009-9106-9}, interhash = {887c17cef1451869915d39c267aefd88}, intrahash = {b4629664269169e8ef269e8fc82d0258}, journal = {Journal of Logic, Language and Information}, keywords = {dblp}, number = 1, pages = 1, title = {Editorial.}, url = {http://dblp.uni-trier.de/db/journals/jolli/jolli19.html#Kracht10}, volume = 19, year = 2010 } @book{GVK227135458, added-at = {2009-08-21T15:46:39.000+0200}, address = {Stuttgart}, author = {Kracht, {Rudolf H.} and Lorenz, {Jürgen}}, biburl = {http://www.bibsonomy.org/bibtex/25c511a29b1e414413d7e577ee75541d9/fbw_hannover}, interhash = {a5222c5bb148d05641598bb6751db805}, intrahash = {5c511a29b1e414413d7e577ee75541d9}, keywords = {imported}, pagetotal = {256}, ppn_gvk = {227135458}, publisher = {Dt. Verl.-Anst.}, series = {DVA-Lehrmittelring}, subtitle = {Grundzüge des MTM-Verfahrens : eine programmierte Unterweisung / Kracht, Rudolf H.. - Stuttgart : Dt. Verl. Anst, 1970 - 1}, title = {Grundzüge des MTM-Verfahrens}, url = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+227135458&sourceid=fbw_bibsonomy}, year = 1970 } @book{GVK227135466, added-at = {2009-08-21T15:46:39.000+0200}, address = {Stuttgart}, author = {Kracht, {Rudolf H.} and Lorenz, {Jürgen}}, biburl = {http://www.bibsonomy.org/bibtex/27437a096c389c42ea17e7cb9f862f429/fbw_hannover}, interhash = {4d7fc3ee0251b1528084c7aee6efe19a}, intrahash = {7437a096c389c42ea17e7cb9f862f429}, keywords = {imported}, pagetotal = {320}, ppn_gvk = {227135466}, publisher = {Dt. Verl. Anst}, series = {DVA-Lehrmittelring}, subtitle = {Grundzüge des MTM-Verfahrens : eine programmierte Unterweisung / Kracht, Rudolf H.. - Stuttgart : Dt. Verl. Anst, 1970 - 2}, title = {Grundzüge des MTM-Verfahrens}, url = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+227135466&sourceid=fbw_bibsonomy}, year = 1971 } @book{GVK022188576, added-at = {2009-08-21T12:30:14.000+0200}, address = {Meisenheim am Glan}, author = {Kracht, {Peter J.}}, biburl = {http://www.bibsonomy.org/bibtex/230359b42da0ef9a06d25188228b35020/fbw_hannover}, interhash = {cebc05a8425f4194b30d545565374030}, intrahash = {30359b42da0ef9a06d25188228b35020}, isbn = {3445013055}, keywords = {imported}, number = 97, pagetotal = {394}, ppn_gvk = {022188576}, publisher = {Hain}, series = {Schriften zur wirtschaftswissenschaftlichen Forschung}, subtitle = {theoretische und empirische Überprüfung ausgewählter Hypothesen über die Bestimmungsfaktoren der Geldnachfrage}, title = {Die Geldnachfrage der Produktionsunternehmen}, url = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+022188576&sourceid=fbw_bibsonomy}, year = 1975 } @book{GVK024106321, added-at = {2009-08-21T09:49:34.000+0200}, address = {München}, author = {Kracht-Müntz, {Birgit}}, biburl = {http://www.bibsonomy.org/bibtex/222a50140300d7ccabfd99ad6f59018d7/fbw_hannover}, interhash = {46576bff25aa4be08f8263aebd75eea8}, intrahash = {22a50140300d7ccabfd99ad6f59018d7}, isbn = {3882595078}, keywords = {Arbeitsmarkt Arbeitsnachfrage Beschäftigung Deutschland_ Einkommen Qualifikationsstruktur}, number = 36, pagetotal = {203}, ppn_gvk = {024106321}, publisher = {VVF}, series = {Volkswirtschaftliche Forschung und Entwicklung}, subtitle = {eine theoretische und empirische Untersuchung zur optimalen Arbeitsnachfrage bei unterschiedlichen Ausbildungsqualifikationen}, title = {Heterogene Arbeit}, url = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+024106321&sourceid=fbw_bibsonomy}, year = 1987 }