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