Open AccessLabel-free Modular Systems for Classical and Intuitionistic Modal Logics
Author(s) -
Sonia Marin,
Lutz Straßburger
Publication year - 2014
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - sequent , normal modal logic , modal logic , accessibility relation , modal , axiom , rule of inference , sequent calculus , computer science , intuitionistic logic , modular design , s5 , multimodal logic , intermediate logic , mathematics , algorithm , discrete mathematics , theoretical computer science , description logic , artificial intelligence , linear logic , programming language , mathematical proof , polymer chemistry , chemistry , geometry