- DocumentFitting.1998.FirstOrderModalLogicuploaded byprooftheory
- DocumentWansing.2002.SequentSystemsForModalLogicsuploaded byprooftheory
- DocumentSmorynski.1973.InvestigationsOfIntuitionisticFormalSystemsByMeansOfKripkeFramesuploaded byprooftheory
- DocumentChellas.ModalLogicuploaded byprooftheory
- DocumentGarg.2012.CountermodelsFromSequentCalculiInMultiModalLogicsuploaded byprooftheory
- DocumentCategoricalAndKripkeSemanticsForConstructiveS4ModalLogicuploaded byprooftheory
- DocumentChau.1993.AProofSearchSystemForAModalSubstructuralLogicBasedOnLabelledDeductiveSystemsuploaded byprooftheory
- DocumentCialdeaMayer.2000.VariantsOfFirstOrderModalLogicsuploaded byprooftheory
- DocumentPfenning.2001.AJudgmentalReconstructionOfModalLogicuploaded byprooftheory
- Document1997 Beckertuploaded byprooftheory
- Document1997_Cervesatouploaded byprooftheory
- Document1995_Fairtloughuploaded byprooftheory
- Document1994_Dybjeruploaded byprooftheory
- Document1995 Harrisonuploaded byprooftheory
- Document1993_Bitteluploaded byprooftheory
- Document1983 Reynoldsuploaded byprooftheory
- Document1960 McCarthyuploaded byprooftheory
- DocumentFirst order logic theorem provinguploaded byprooftheory
- DocumentLavine, Introduction to Statistical Thoughtuploaded byprooftheory
- DocumentAppel.2007.AListMachineBenchmarkForMechanizedMetatheoryuploaded byprooftheory
- DocumentArkoudas.2008.AnAxiomaticTheoryOfProofRepresentationAndAnalysisuploaded byprooftheory
- DocumentStructural Sharing And Efficient Proof Search In Propositional Intuitionistic Logicuploaded byprooftheory
- DocumentLabel free proof systems for intuitionistic modal logicsuploaded byprooftheory
- DocumentTrampolined styleuploaded byprooftheory
- DocumentIdentity in modal logic theorem provinguploaded byprooftheory
- DocumentDeciding ML typability is complete for deterministic exponential timeuploaded byprooftheory
- DocumentSolvin symbolic ordering constraintsuploaded byprooftheory
- DocumentDestructive Modal Resolutionuploaded byprooftheory