Skip to content
  • Christoph Schwering's avatar
    d6013668
    Renamed ESBL to LELA. · d6013668
    Christoph Schwering authored
    LELA stands for
      Limited Epistemic Logic with Actions
    or
      Limited Epistemic Logic and Actions
    or, more catchy,
      Limited Epistemic Logic in Action.
    
    Naming the logic ES[B]L made no sense anymore, because it also
    implements regression and progression.
    d6013668
    Renamed ESBL to LELA.
    Christoph Schwering authored
    LELA stands for
      Limited Epistemic Logic with Actions
    or
      Limited Epistemic Logic and Actions
    or, more catchy,
      Limited Epistemic Logic in Action.
    
    Naming the logic ES[B]L made no sense anymore, because it also
    implements regression and progression.
Loading