Post Archives

admissible rules

• On a problem by Friedman and its solution by Rybakov

  — August 22, 2021

• Finite Frames Fail

  — May 12, 2016

• Intuitionistic Rules

  — May 29, 2015

• Admissibility and refutation

  — August 1, 2014

• On unification and admissible rules in Gabbay–de Jongh logics

  — February 1, 2014

• The Admissible Rules of BD2 and GSc

  — September 3, 2013

• A note on extensions

  — January 7, 2013

algorithms

• Bestuurlijke borging van integere algoritmes

  — July 1, 2020

• Tussen data en theorie

  — May 12, 2020

artificial intelligence

• Models and the Compliance Officer

  — January 1, 2021

• Machine learning-based classification of viewing behavior

  — September 20, 2020

• Bestuurlijke borging van integere algoritmes

  — July 1, 2020

• Tussen data en theorie

  — May 12, 2020

compliance

• Models and the Compliance Officer

  — January 1, 2021

• Bestuurlijke borging van integere algoritmes

  — July 1, 2020

• Tussen data en theorie

  — May 12, 2020

logic

• On a problem by Friedman and its solution by Rybakov

  — August 22, 2021

• Finite Frames Fail

  — May 12, 2016

• Intuitionistic Rules

  — May 29, 2015

• Admissibility and refutation

  — August 1, 2014

• On unification and admissible rules in Gabbay–de Jongh logics

  — February 1, 2014

• The Admissible Rules of BD2 and GSc

  — September 3, 2013

• A note on extensions

  — January 7, 2013

model

• Models and the Compliance Officer

  — January 1, 2021

refutation

• Intuitionistic Rules

  — May 29, 2015

• Admissibility and refutation

  — August 1, 2014

unification

• Intuitionistic Rules

  — May 29, 2015

• On unification and admissible rules in Gabbay–de Jongh logics

  — February 1, 2014