Cargas
Smorynski 1973 InvestigationsOfIntuitionisticFormalSystemsByMeansOfKripkeFrames 0% encontró este documento útilWansing 2002 SequentSystemsForModalLogics 0% encontró este documento útilChellas ModalLogic 100% encontró este documento útilA Proof Search System For A Modal Substructural Logic Based On Labelled Deductive Systems 0% encontró este documento útilFitting 1998 FirstOrderModalLogic 100% encontró este documento útilCountermodels From Sequent Calculi in Multi-Modal Logics 0% encontró este documento útil1995 Fairtlough 0% encontró este documento útilCialdeaMayer 2000 VariantsOfFirstOrderModalLogics 0% encontró este documento útilA Judgmental Reconstruction of Modal Logic: Under Consideration For Publication in Math. Struct. in Comp. Science 0% encontró este documento útilCategorical and Kripke Semantics For Constructive S4 Modal Logic 0% encontró este documento útilA Linear Spine Calculus: Iliano Cervesato Frank Pfenning 0% encontró este documento útil