Uploads by prooftheory

Smorynski.1973.InvestigationsOfIntuitionisticFormalSystemsByMeansOfKripkeFrames

Fitting.1998.FirstOrderModalLogic

Chellas.ModalLogic

Wansing.2002.SequentSystemsForModalLogics

CategoricalAndKripkeSemanticsForConstructiveS4ModalLogic

Garg.2012.CountermodelsFromSequentCalculiInMultiModalLogics

CialdeaMayer.2000.VariantsOfFirstOrderModalLogics

Pfenning.2001.AJudgmentalReconstructionOfModalLogic

Chau.1993.AProofSearchSystemForAModalSubstructuralLogicBasedOnLabelledDeductiveSystems

1997_Cervesato

1997 Beckert

1995_Fairtlough

1994_Dybjer

1995 Harrison

1993_Bittel

1983 Reynolds

1960 McCarthy

First order logic theorem proving

Lavine, Introduction to Statistical Thought

Appel.2007.AListMachineBenchmarkForMechanizedMetatheory

Arkoudas.2008.AnAxiomaticTheoryOfProofRepresentationAndAnalysis

Structural Sharing And Efficient Proof Search In Propositional Intuitionistic Logic

Label free proof systems for intuitionistic modal logics

Trampolined style

Identity in modal logic theorem proving

Deciding ML typability is complete for deterministic exponential time

Solvin symbolic ordering constraints

Destructive Modal Resolution