- DokumenWansing.2002.SequentSystemsForModalLogicsdiunggah olehprooftheory
- DokumenSmorynski.1973.InvestigationsOfIntuitionisticFormalSystemsByMeansOfKripkeFramesdiunggah olehprooftheory
- DokumenFitting.1998.FirstOrderModalLogicdiunggah olehprooftheory
- DokumenChellas.ModalLogicdiunggah olehprooftheory
- DokumenGarg.2012.CountermodelsFromSequentCalculiInMultiModalLogicsdiunggah olehprooftheory
- DokumenCategoricalAndKripkeSemanticsForConstructiveS4ModalLogicdiunggah olehprooftheory
- DokumenCialdeaMayer.2000.VariantsOfFirstOrderModalLogicsdiunggah olehprooftheory
- DokumenPfenning.2001.AJudgmentalReconstructionOfModalLogicdiunggah olehprooftheory
- DokumenChau.1993.AProofSearchSystemForAModalSubstructuralLogicBasedOnLabelledDeductiveSystemsdiunggah olehprooftheory
- Dokumen1997_Cervesatodiunggah olehprooftheory
- Dokumen1997 Beckertdiunggah olehprooftheory
- Dokumen1995_Fairtloughdiunggah olehprooftheory
- Dokumen1994_Dybjerdiunggah olehprooftheory
- Dokumen1995 Harrisondiunggah olehprooftheory
- Dokumen1993_Bitteldiunggah olehprooftheory
- Dokumen1983 Reynoldsdiunggah olehprooftheory
- Dokumen1960 McCarthydiunggah olehprooftheory
- DokumenFirst order logic theorem provingdiunggah olehprooftheory
- DokumenLavine, Introduction to Statistical Thoughtdiunggah olehprooftheory
- DokumenAppel.2007.AListMachineBenchmarkForMechanizedMetatheorydiunggah olehprooftheory
- DokumenArkoudas.2008.AnAxiomaticTheoryOfProofRepresentationAndAnalysisdiunggah olehprooftheory
- DokumenStructural Sharing And Efficient Proof Search In Propositional Intuitionistic Logicdiunggah olehprooftheory
- DokumenLabel free proof systems for intuitionistic modal logicsdiunggah olehprooftheory
- DokumenTrampolined stylediunggah olehprooftheory
- DokumenIdentity in modal logic theorem provingdiunggah olehprooftheory
- DokumenDeciding ML typability is complete for deterministic exponential timediunggah olehprooftheory
- DokumenSolvin symbolic ordering constraintsdiunggah olehprooftheory
- DokumenDestructive Modal Resolutiondiunggah olehprooftheory