Skip to main content

Journal of Logic, Language and Information

Ausgabe 2/2011

Inhalt (5 Artikel)

Synchronizing Diachronic Uncertainty

Alistair Isaac, Tomohiro Hoshi

Open Access

Typability in Partial Applicative Structures

Inge Bethke, Piet Rodenburg

Timed Modal Logics for Real-Time Systems

Patricia Bouyer, Franck Cassez, François Laroussinie

Premium Partner