List of Axioms and Axiom Systems

Cached

Download Links

by n.n.

Active Bibliography

1 5 MODEL THEORY OF MODAL LOGIC – Valentin Goranko, Martin Otto
21 MODEL THEORY OF MODAL LOGIC – Valentin Goranko, Martin Otto
19 Higher Order Logic – Daniel Leivant - 1994
1 What Is Logic? – Jaakko Hintikka, Gabriel Sandu
Borrowing Interpolation – Răzvan Diaconescu
3 Aspects of locally covariant quantum field theory – Jacobus Ambrosius Sanders - 2008
6 Hybrid Logic is the Bounded Fragment of First Order Logic – Carlos Areces , Patrick Blackburn, Maarten Marx - 1999
8 Local Variations on a Loose Theme: Modal Logic and Decidability – Maarten Marx, Yde Venema
20 Tolerance Logic – Maarten Marx - 1999
100 Hybrid Logics: Characterization, Interpolation and Complexity – Carlos Areces, Patrick Blackburn, Maarten Marx - 1999
4 A General Theory of Deduction, Induction, and Learning – Eric Martin, Arun Sharma, Frank Stephan - 2001
Fine’s Theorem on First-Order Complete Modal Logics – Robert Goldblatt - 2011
28 Mathematical Modal Logic: a View of its Evolution – Robert Goldblatt - 2001
13 Modal Logic: A Semantic Perspective – Patrick Blackburn, Johan van Benthem - 1988
Directed Simulations – Natasha Kurtonina, Maarten De Rijke
12 Simulating without Negation – Natasha Kurtonina, Maarten de Rijke - 1997
22 The Garden of Knowledge as a Knowledge Manifold -- A Conceptual Framework for Computer Supported Subjective Education – Ambjörn Naeve - 1997
9 On Preservation Theorems for Two-Variable Logic – Erich Grädel, Eric Rosen - 1999
and – R. F. Picken, Centro De Matemática E Aplicações, Avenida Rovisco Pais, P. A. Semião, Área Departamental De Matemática - 2008