- DocumentoSmorynski.1973.InvestigationsOfIntuitionisticFormalSystemsByMeansOfKripkeFramesenviado porprooftheory
- DocumentoChellas.ModalLogicenviado porprooftheory
- DocumentoWansing.2002.SequentSystemsForModalLogicsenviado porprooftheory
- DocumentoFitting.1998.FirstOrderModalLogicenviado porprooftheory
- DocumentoCategoricalAndKripkeSemanticsForConstructiveS4ModalLogicenviado porprooftheory
- DocumentoChau.1993.AProofSearchSystemForAModalSubstructuralLogicBasedOnLabelledDeductiveSystemsenviado porprooftheory
- DocumentoGarg.2012.CountermodelsFromSequentCalculiInMultiModalLogicsenviado porprooftheory
- DocumentoCialdeaMayer.2000.VariantsOfFirstOrderModalLogicsenviado porprooftheory
- DocumentoPfenning.2001.AJudgmentalReconstructionOfModalLogicenviado porprooftheory
- Documento1997_Cervesatoenviado porprooftheory
- Documento1997 Beckertenviado porprooftheory
- Documento1995_Fairtloughenviado porprooftheory
- Documento1994_Dybjerenviado porprooftheory
- Documento1995 Harrisonenviado porprooftheory
- Documento1993_Bittelenviado porprooftheory
- Documento1983 Reynoldsenviado porprooftheory
- Documento1960 McCarthyenviado porprooftheory
- DocumentoFirst order logic theorem provingenviado porprooftheory
- DocumentoLavine, Introduction to Statistical Thoughtenviado porprooftheory
- DocumentoAppel.2007.AListMachineBenchmarkForMechanizedMetatheoryenviado porprooftheory
- DocumentoArkoudas.2008.AnAxiomaticTheoryOfProofRepresentationAndAnalysisenviado porprooftheory
- DocumentoStructural Sharing And Efficient Proof Search In Propositional Intuitionistic Logicenviado porprooftheory
- DocumentoLabel free proof systems for intuitionistic modal logicsenviado porprooftheory
- DocumentoTrampolined styleenviado porprooftheory
- DocumentoIdentity in modal logic theorem provingenviado porprooftheory
- DocumentoDeciding ML typability is complete for deterministic exponential timeenviado porprooftheory
- DocumentoSolvin symbolic ordering constraintsenviado porprooftheory
- DocumentoDestructive Modal Resolutionenviado porprooftheory