- DocumentWansing.2002.SequentSystemsForModalLogicstéléversé parprooftheory
- DocumentFitting.1998.FirstOrderModalLogictéléversé parprooftheory
- DocumentSmorynski.1973.InvestigationsOfIntuitionisticFormalSystemsByMeansOfKripkeFramestéléversé parprooftheory
- DocumentChellas.ModalLogictéléversé parprooftheory
- DocumentCategoricalAndKripkeSemanticsForConstructiveS4ModalLogictéléversé parprooftheory
- DocumentGarg.2012.CountermodelsFromSequentCalculiInMultiModalLogicstéléversé parprooftheory
- DocumentCialdeaMayer.2000.VariantsOfFirstOrderModalLogicstéléversé parprooftheory
- DocumentPfenning.2001.AJudgmentalReconstructionOfModalLogictéléversé parprooftheory
- DocumentChau.1993.AProofSearchSystemForAModalSubstructuralLogicBasedOnLabelledDeductiveSystemstéléversé parprooftheory
- Document1997 Beckerttéléversé parprooftheory
- Document1997_Cervesatotéléversé parprooftheory
- Document1995_Fairtloughtéléversé parprooftheory
- Document1994_Dybjertéléversé parprooftheory
- Document1995 Harrisontéléversé parprooftheory
- Document1993_Bitteltéléversé parprooftheory
- Document1983 Reynoldstéléversé parprooftheory
- Document1960 McCarthytéléversé parprooftheory
- DocumentFirst order logic theorem provingtéléversé parprooftheory
- DocumentLavine, Introduction to Statistical Thoughttéléversé parprooftheory
- DocumentAppel.2007.AListMachineBenchmarkForMechanizedMetatheorytéléversé parprooftheory
- DocumentArkoudas.2008.AnAxiomaticTheoryOfProofRepresentationAndAnalysistéléversé parprooftheory
- DocumentStructural Sharing And Efficient Proof Search In Propositional Intuitionistic Logictéléversé parprooftheory
- DocumentLabel free proof systems for intuitionistic modal logicstéléversé parprooftheory
- DocumentTrampolined styletéléversé parprooftheory
- DocumentIdentity in modal logic theorem provingtéléversé parprooftheory
- DocumentDeciding ML typability is complete for deterministic exponential timetéléversé parprooftheory
- DocumentSolvin symbolic ordering constraintstéléversé parprooftheory
- DocumentDestructive Modal Resolutiontéléversé parprooftheory