Logic, language, and computation 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 ; revised selected papers

Logic, language, and computation 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers
Veröffentlicht: (2017)

Lectures on logic and computation ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 ; selected lecture notes
Veröffentlicht: (2012)

Logic, language, information and computation 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1 - 4, 2008 ; proceedings
Veröffentlicht: (2008)

Logic, language, information and computation 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21 - 24, 2009 ; proceedings
Veröffentlicht: (2009)

Logic, language, information and computation 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6 - 9, 2010 ; proceedings
Veröffentlicht: (2010)

Knowledge, proof and dynamics The Fourth Asian Workshop on Philosophical Logic
Veröffentlicht: (2020)

Logic, language, information, and computation 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20 - 23, 2013 ; proceedings
Veröffentlicht: (2013)

A new introduction to modal logic
von: Hughes, Georges E., et al.
Veröffentlicht: (2003)

Languages of possibility an essay in philosophical logic
von: Forbes, Graeme
Veröffentlicht: (1989)

Philosophical problems in logic some recent developments
Veröffentlicht: (1970)

Logics of time and computation
von: Goldblatt, Robert 1949-
Veröffentlicht: (1992)

Modal logic
von: Blackburn, Patrick 1959-, et al.
Veröffentlicht: (2010)

Some lectures on modal logic [working material for the lectures of A. Nerode: Some lectures on modal logic, suppl., International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug. 6, 1989]
von: Nerode, Anil 1932-
Veröffentlicht: (1989)

Modal logic the Lewis-modal systems
von: Zeman, Joseph Jay
Veröffentlicht: (1973)

Modal logic and invariance
von: Benthem, Johan van 1949-, et al.
Veröffentlicht: (2008)

Efficient computation of argumentation semantics
von: Liao, Beishui
Veröffentlicht: (2014)

An introduction to modal logic
von: Hughes, George E., et al.
Veröffentlicht: (1977)

An introduction to modal logic
von: Hughes, George Edward
Veröffentlicht: (1973)

An introduction to modal logic
von: Hughes, George E., et al.
Veröffentlicht: (1977)

Modal logic
von: Blackburn, Patrick 1959-, et al.
Veröffentlicht: (2001)

A short introduction to modal logic
von: Mints, Grigori
Veröffentlicht: (1992)

Computation and logic in the real world third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 ; proceedings
Veröffentlicht: (2007)

Computation and logic in the real world third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 ; proceedings
Veröffentlicht: (2007)

Fundamentals of computation theory [The 16th International Symposium on Fundamentals of Computation Theory (FCT 2007) was held in Budapest on 27-30 August 2007 ... full-length papers of ten submitted articles selected from the highest ranked contributions]
Veröffentlicht: (2010)

A computable universe understanding and exploring nature as computation
Veröffentlicht: (2013)

On modal systems in the neighbourhood of the Brauwer logic
von: Kostrzycka, Zofia
Veröffentlicht: (2010)

Modal logics and philosophy
von: Girle, Rod
Veröffentlicht: (2000)

An introduction to modal logic
von: Hughes, George E., et al.
Veröffentlicht: (1985)

First steps in modal logic
von: Popkorn, Sally
Veröffentlicht: (1994)

Theory of computation
von: Tourlakis, George J. 1946-
Veröffentlicht: (2012)

Einführung in die Logik unter besonderer Berücksichtigung der Modallogik
von: Friedrichsdorf, Ulf

Tools and techniques in modal logic
Veröffentlicht: (1999)

Modal logic for philosophers
von: Garson, James W. 1943-
Veröffentlicht: (2013)

Modal logic for philosophers
von: Garson, James W. 1943-
Veröffentlicht: (2006)

An essay in modal logic
von: Wright, Georg Henrik von 1916-2003
Veröffentlicht: (1951)

Expressivity results in the modal logic of coalgebras
von: Pattinson, Dirk
Veröffentlicht: (2001)