Încărcări by prooftheory

Chellas.ModalLogic

Fitting.1998.FirstOrderModalLogic

Wansing.2002.SequentSystemsForModalLogics

Smorynski.1973.InvestigationsOfIntuitionisticFormalSystemsByMeansOfKripkeFrames

CialdeaMayer.2000.VariantsOfFirstOrderModalLogics

Pfenning.2001.AJudgmentalReconstructionOfModalLogic

Garg.2012.CountermodelsFromSequentCalculiInMultiModalLogics

Chau.1993.AProofSearchSystemForAModalSubstructuralLogicBasedOnLabelledDeductiveSystems

CategoricalAndKripkeSemanticsForConstructiveS4ModalLogic

1997 Beckert

1997_Cervesato

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