- DocumentoSmorynski.1973.InvestigationsOfIntuitionisticFormalSystemsByMeansOfKripkeFramescargado porprooftheory
- DocumentoChellas.ModalLogiccargado porprooftheory
- DocumentoFitting.1998.FirstOrderModalLogiccargado porprooftheory
- DocumentoWansing.2002.SequentSystemsForModalLogicscargado porprooftheory
- DocumentoCategoricalAndKripkeSemanticsForConstructiveS4ModalLogiccargado porprooftheory
- DocumentoPfenning.2001.AJudgmentalReconstructionOfModalLogiccargado porprooftheory
- DocumentoCialdeaMayer.2000.VariantsOfFirstOrderModalLogicscargado porprooftheory
- DocumentoChau.1993.AProofSearchSystemForAModalSubstructuralLogicBasedOnLabelledDeductiveSystemscargado porprooftheory
- DocumentoGarg.2012.CountermodelsFromSequentCalculiInMultiModalLogicscargado porprooftheory
- Documento1997_Cervesatocargado porprooftheory
- Documento1997 Beckertcargado porprooftheory
- Documento1995_Fairtloughcargado porprooftheory
- Documento1994_Dybjercargado porprooftheory
- Documento1995 Harrisoncargado porprooftheory
- Documento1993_Bittelcargado porprooftheory
- Documento1983 Reynoldscargado porprooftheory
- Documento1960 McCarthycargado porprooftheory
- DocumentoFirst order logic theorem provingcargado porprooftheory
- DocumentoLavine, Introduction to Statistical Thoughtcargado porprooftheory
- DocumentoAppel.2007.AListMachineBenchmarkForMechanizedMetatheorycargado porprooftheory
- DocumentoArkoudas.2008.AnAxiomaticTheoryOfProofRepresentationAndAnalysiscargado porprooftheory
- DocumentoStructural Sharing And Efficient Proof Search In Propositional Intuitionistic Logiccargado porprooftheory
- DocumentoLabel free proof systems for intuitionistic modal logicscargado porprooftheory
- DocumentoTrampolined stylecargado porprooftheory
- DocumentoIdentity in modal logic theorem provingcargado porprooftheory
- DocumentoDeciding ML typability is complete for deterministic exponential timecargado porprooftheory
- DocumentoSolvin symbolic ordering constraintscargado porprooftheory
- DocumentoDestructive Modal Resolutioncargado porprooftheory