prooftheory documents

Chellas.ModalLogic
Documents Chellas.ModalLogic
Deciding ML typability is complete for deterministic exponential time
Documents Deciding ML typability is complete for deterministic exponential time
Smorynski.1973.InvestigationsOfIntuitionisticFormalSystemsByMeansOfKripkeFrames
Documents Smorynski.1973.InvestigationsOfIntuitionisticFormalSystemsByMeansOfKripkeFrames
1997_Cervesato
Documents 1997_Cervesato
Destructive Modal Resolution
Documents Destructive Modal Resolution
Chau.1993.AProofSearchSystemForAModalSubstructuralLogicBasedOnLabelledDeductiveSystems
Documents Chau.1993.AProofSearchSystemForAModalSubstructuralLogicBasedOnLabelledDeductiveSystems
CialdeaMayer.2000.VariantsOfFirstOrderModalLogics
Documents CialdeaMayer.2000.VariantsOfFirstOrderModalLogics
Garg.2012.CountermodelsFromSequentCalculiInMultiModalLogics
Documents Garg.2012.CountermodelsFromSequentCalculiInMultiModalLogics
Wansing.2002.SequentSystemsForModalLogics
Documents Wansing.2002.SequentSystemsForModalLogics
CategoricalAndKripkeSemanticsForConstructiveS4ModalLogic
Documents CategoricalAndKripkeSemanticsForConstructiveS4ModalLogic
Pfenning.2001.AJudgmentalReconstructionOfModalLogic
Documents Pfenning.2001.AJudgmentalReconstructionOfModalLogic
1993_Bittel
Documents 1993_Bittel
1995_Fairtlough
Documents 1995_Fairtlough
1994_Dybjer
Documents 1994_Dybjer
First order logic theorem proving
Documents First order logic theorem proving
Appel.2007.AListMachineBenchmarkForMechanizedMetatheory
Documents Appel.2007.AListMachineBenchmarkForMechanizedMetatheory
Structural Sharing And Efficient Proof Search In Propositional Intuitionistic Logic
Documents Structural Sharing And Efficient Proof Search In Propositional Intuitionistic Logic
Label free proof systems for intuitionistic modal logics
Documents Label free proof systems for intuitionistic modal logics
Trampolined style
Documents Trampolined style
Identity in modal logic theorem proving
Documents Identity in modal logic theorem proving
Fitting.1998.FirstOrderModalLogic
Documents Fitting.1998.FirstOrderModalLogic