NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 11
  • 5
  • 1
  • Tagged with
  • 17
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 10 of 17 (0.022 seconds)

Spelling suggestions: "subject:"modallogik"" "subject:"modallogic""

1

Formen des logischen Allwissens : eine problemorientierte Darstellung modallogischer Systeme

Cursiefen, Stephan January 2007 (has links)
Zugl.: Bonn, Univ., Diss., 2006
Modallogik.
2

Optimised modal translation and resolution

Schmidt, Renate A. January 1900 (has links) (PDF)
Saarbrücken, Univ., Diss., 1997. / Computerdatei im Fernzugriff.
Modallogik
3

Alternativen in der Raumzeit : eine Studie zur philosophischen Anwendung multidimensionaler Aussagenlogiken

Strobach, Niko January 2007 (has links)
Zugl.: Rostock, Univ., Habil.-Schr.
Modallogik
4

Displaying modal logic /

Wansing, Heinrich. January 1998 (has links) (PDF)
Univ., Habil.-Schr. u.d.T.: Wansing, Heinrich: Proof-theoretic aspects of intensional and non-classical logics--Leipzig, 1997.
5

Eine Dependenzgrammatik zur Kopplung heterogener Wissenssysteme auf modallogischer Basis

Bröker, Norbert. January 1997 (has links)
Freiburg i. Br., Univ., Diss., 1997.
6

Optimised modal translation and resolution

Schmidt, Renate A. Unknown Date (has links) (PDF)
University, Diss., 1997--Saarbrücken.
7

Guarded logics: algorithms and bisimulation

Hirsch, Colin. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2002--Aachen.
8

Beweisbarkeitslogik für Rosser-Sätze

Bülow, Christopher von. January 2001 (has links)
Konstanz, Univ., Diplomarb., 1998.
9

Coalgebras, clone theory, and modal logic

Rößiger, Martin. Unknown Date (has links) (PDF)
Techn. University, Diss., 2000--Dresden.
10

Alternativen in der Raumzeit eine Studie zur philosophischen Anwendung multimodaler Aussagenlogiken

Strobach, Niko January 2007 (has links)
Zugl.: Rostock, Univ., Habil.-Schr.

Page generated in 0.0319 seconds