Bjørn Kjos-Hanssen

Search

Primary Menu

Skip to content
  • Bjørn Kjos-Hanssen
  • Posts
  • Publications
  • Software
    • Android
    • Plugin
    • Web
      • Autocomplete
      • Complexity guessing game
      • Complexity lookup
      • Complexity option game
      • Structure function calculator
  • Teaching
    • MATH 654 (Fall 2018)
    • Math 657 (Spring 2014)
    • Courses taught
      • Accelerated calculus 2016-2017
      • Math 242 (Fall 2014)
      • MATH 244 (Spring 2016)
      • MATH 253A
      • MATH 372
      • MATH 373 (Spring 2017)
      • MATH 471&472 (2014-2015)
      • MATH 472 (Spring 2016)
      • MATH 480 Senior Seminar (Spring 2015)
      • MATH 480 Spring 2018
      • Math 649B
      • Math 672 (Spring 2014)
  • Calendar

Calendar

  • Tags
    Calculus Logic seminar Upper division
Day
Agenda
Day
Month
Week
March 21, 2025
21 Fri
All-day
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
Now: 12:09 pm
  • Add to Timely Calendar
  • Add to Google
  • Add to Outlook
  • Add to Apple Calendar
  • Add to other calendar

Links

  • Bjørn Kjos-Hanssen's articles on arXiv.org
  • Computability.org
  • CV
  • Deontic logic
  • Department of Mathematics

Professor of Mathematics, University of Hawaii at Manoa

Recent Posts

  • San Luis Obispo: Logic and Analysis Special Session
  • Coherent spaces in linear logic
  • Hilbert space model of linear logic
  • Phase semantics for linear logic
  • Mathlib contributions

Categories

  • calculations
  • computability
  • conferences
  • editorial board
  • LaTeX
  • modal logic
  • outreach
  • publications
  • research
  • service
  • students
  • teaching
  • TV
  • web design/development

Just for fun

  1. Loudspeaker

    Pronunciation

    May 8, 2014 admin
More audio →
Proudly powered by WordPress