Concepedia

Cut-free Gentzen calculus for multimodal<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="sans-serif">CK</mml:mi></mml:math>

Michael Mendler, Stephan Scheele

Information and Computation · 2011 · 19 citations · 29 references

DOI

Concepts

References

29

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

, , +16

Notions of computation and monads

Eugenio Moggi · Information and Computation · 1991 · 1.7K citations

, , +10

A judgmental reconstruction of modal logic

Frank Pfenning, Rowan Davies · Mathematical Structures in Computer Science · 2001 · 348 citations

, , +15

Contextual modal type theory

Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka · ACM Transactions on Computational Logic · 2008 · 263 citations

, , +9

Propositional Lax Logic

Matt Fairtlough, Michael Mendler · Information and Computation · 1997 · 161 citations