Frank Hermann Wolter - Interessen - alle Infos bei Yasni.de

(1 - 5 von 5

)

Ian Hodkinson, Frank Wolter & Michael Zakharyaschev, Decidable...

philpapers.org

In this paper, we introduce a new fragment of the first-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal...

fotocommunity: Frank Wolter - Fotos & Bilder - Fotograf | fotocommunity

Alle Fotos & Bilder von Frank Wolter + kostenlos bei fotocommunity.de anschauen ᐅ Die besten Bilder von Frank Wolter ansehen

Frank Wolter, The structure of lattices of subframe logics -...

philpapers.org

This paper investigates the structure of lattices of normal mono- and polymodal subframelogics, i.e., those modal logics whose frames are closed under a...

Frank Wolter & Michael Wooldridge, Temporal and Dynamic Logic -...

philpapers.org

We present an introductory survey of temporal and dynamic logics: logics for reasoning about how environments change over time, and how dynamic processes...

Frank Wolter, Tense Logic Without Tense Operators - PhilPapers

philpapers.org

We shall describe the set of strongly meet irreducible logics in the lattice ϵLin.t of normal tense logics of weak orderings. Based on this description it is...

Verwandte Suchanfragen zu Frank Hermann Wolter

Person "Wolter" (27)
Vorname "Hermann" (23989)
Name "Wolter" (2026)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Interessen Frank Hermann Wolter

Ian Hodkinson, Frank Wolter & Michael Zakharyaschev, Decidable...

fotocommunity: Frank Wolter - Fotos & Bilder - Fotograf | fotocommunity

Frank Wolter, The structure of lattices of subframe logics -...

Frank Wolter & Michael Wooldridge, Temporal and Dynamic Logic -...

Frank Wolter, Tense Logic Without Tense Operators - PhilPapers