Încărcări
Smorynski 1973 InvestigationsOfIntuitionisticFormalSystemsByMeansOfKripkeFrames 0% au considerat acest document utilCategorical and Kripke Semantics For Constructive S4 Modal Logic 0% au considerat acest document utilWansing 2002 SequentSystemsForModalLogics 0% au considerat acest document utilChellas ModalLogic 100% au considerat acest document utilFitting 1998 FirstOrderModalLogic 100% au considerat acest document utilCountermodels From Sequent Calculi in Multi-Modal Logics 0% au considerat acest document utilA Judgmental Reconstruction of Modal Logic: Under Consideration For Publication in Math. Struct. in Comp. Science 0% au considerat acest document util1997 Beckert 0% au considerat acest document utilCialdeaMayer 2000 VariantsOfFirstOrderModalLogics 0% au considerat acest document utilA Proof Search System For A Modal Substructural Logic Based On Labelled Deductive Systems 0% au considerat acest document utilA Linear Spine Calculus: Iliano Cervesato Frank Pfenning 0% au considerat acest document util