prooftheory

Document

CialdeaMayer 2000 VariantsOfFirstOrderModalLogics

Added by prooftheory

Document

Chellas ModalLogic

Added by prooftheory

Document

Wansing 2002 SequentSystemsForModalLogics

Added by prooftheory

Document

Fitting 1998 FirstOrderModalLogic

Added by prooftheory

Document

Countermodels From Sequent Calculi in Multi-Modal Logics

Added by prooftheory

Document

A Judgmental Reconstruction of Modal Logic: Under Consideration For Publication in Math. Struct. in Comp. Science

Added by prooftheory

Document

Categorical and Kripke Semantics For Constructive S4 Modal Logic

Added by prooftheory

Document

1995 Fairtlough

Added by prooftheory

Document

Smorynski 1973 InvestigationsOfIntuitionisticFormalSystemsByMeansOfKripkeFrames

Added by prooftheory

Document

A Proof Search System For A Modal Substructural Logic Based On Labelled Deductive Systems

Added by prooftheory

Document

A Linear Spine Calculus: Iliano Cervesato Frank Pfenning

Added by prooftheory