http://kwarc.info/blog KWARC research group's blog Sun, 04 Mar 2012 18:32:02 +0000 en hourly 1 http://wordpress.org/?v=3.3.1 http://kwarc.info/blog/2009/12/22/re-popculture-in-logics/ http://kwarc.info/blog/2009/12/22/re-popculture-in-logics/#comments Tue, 22 Dec 2009 10:10:53 +0000 Christoph http://kwarc.info/blog/?p=928 Inspired by a post from Denny Vrandečić, I came up with more quotes from pop culture, rewritten in logics – enjoy, and please correct me if anything should be wrong:

• ¬∃knows.TroubleI’veSeen (Spiritual)
• Bier ⊑ ¬∃gibtsAuf.Hawaii ⇒ Ich ⊑ (¬∃fahreNach.Hawaii)⊓(∀bleibe.Hier) (Kuhn, 1963)
• ¬(⋄I ⊑ ∃get.¬“⊨”) (Jagger/Richards, 1965)
• ¬∃ b:Business . b = ShowBusiness (Berlin, 1946)
• I ⊑ ∃shot.Sheriff ⊓ ∀shot.¬Deputy (Marley, 1973)
• ¬(⊥ ⊓ ¬HoundDog) (Presley, 1956)
• ¬∃ ¬Sunshine ← gone(She) (Withers, 1971)
• ∀x ∃y . needs(x, y) ∧ loves(x, y) (Blues Brothers, 1981)
• I ⊑ ∃feel.(Pretty ⊓ Witty ⊓ Gay) (Bernstein/Sondheim, 1961)

]]> http://kwarc.info/blog/2009/12/22/re-popculture-in-logics/feed/ 0