Sites

De Cock, Martine (Popularity: )

Ghent University, Belgium. Research project: intelligent information technologies for the internet.

Lincoln, Patrick (Popularity: )

SRI International Computer Science Laboratory, USA.

Ong, Luke (Popularity: )

Oxford University Computing Laboratory, UK.

Pitts, Andrew (Popularity: )

University of Cambridge, UK.

Temporal Logic (Popularity: )

The Stanford Encyclopedia of Philosophy entry on the subject, with a detailed description, application areas ...

Temporal Logic in Information Systems (Popularity: )

A survey of the field by Jan Chomicki and David Toman. From the 1997 BRICS ...

The Linear Logic Pages (Popularity: )

An overview of the current knowledge in Linear Logic.

Winikoff, Michael (Popularity: )

RMIT University, Australia.

Winskel, Glynn (Popularity: )

University of Cambridge, UK.

Zadeh, Lofti (Popularity: )

University of California - Berkeley, USA.

Fages, Francois (Popularity: )

The National Institute of Research in Computer Science, France.

Intuitionism (Popularity: )

A brief hypertext overview of the history of the subject.

Intuitionistic logic (Popularity: )

Wikipedia (free encyclopedia) article.

Japaridze, Giorgi (Popularity: )

Villanova University, USA.

Provability Logic (Popularity: )

Open Encyclopedia article.

Seminar on Linear Logic and Applications (Popularity: )

Organised by Frank Pfenning at Carnegie-Mellon.

Japaridze, Giorgi (Popularity: )

Villanova University, USA.

Kanovich, Max (Popularity: )

University of Pennsylvania, USA.

Provability Logic (Popularity: )

Wikipedia article.

Gardner, Philippa (Popularity: )

Imperial College, UK.