Documents Related by Co-Citation

98 Display logic – Nuel Belnap - 1982
493 Untersuchungen über das logische Schließen – G Gentzen - 1935
406 The mathematics of sentence structure – J Lambek - 1958
31 Multimodal Linguistic Inference – Michael Moortgat - 1995
15 Four-Valued Semantics For Relevant Logics (and Some Of Their Rivals) – Greg Restall - 1995
35 Frames and Labels: A Modal Analysis of Categorial Inference – N Kurtonina - 1995
40 Gaggle Theory: An abstraction of Galois connections and Residuation, with applications to negation, implication, and various logical operators – M Dunn - 1991
86 On the Calculus of Syntactic Types – Joachim Lambek - 1961
55 Local action and abstract separation logic – Cristiano Calcagno, Peter W. O’Hearn, Hongseok Yang - 2007
45 Oracle semantics for concurrent separation logic – Aquinas Hobor - 2008
6 The Logic Of Reusable Propositional Output With The Fulfilment Constraint – Leendert van der Torre - 1999
2 Norma e condizione. Uno studio dell’implicazione normativa – Silvia Vida - 2001
8 Legal Reasoning in 3-D – M Belzer - 1987
10 Principles of a logic of normative systems – E Stenius - 1963
9 The Formal Analysis of Normative Systems – Alan Ross Anderson - 1956
31 Labelled Deductive Systems, volume 1 – D Gabbay - 1996
33 On a fundamental problem of deontic logic – D Makinson - 1999
75 Input-output logics – David Makinson, Leendert, Van Der Torre - 2000
34 The expressive conception of norms – C E Alchourrón, E Bulygin - 1981