Preface for Studia Logica special issue (2)

DOI10.1007/s11225-009-9212-3zbMath1182.03062OpenAlexW2022440871MaRDI QIDQ2269508

Leendert van der Torre, Dov M. Gabbay

Publication date: 17 March 2010

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9212-3

zbMATH Keywords

reactivityargumentation networkCaminada-Gabbay algebra

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (12)

1992 Annual Meeting of the Australasian Association for Logic ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ On the basic logic ofSTITwith a single agent ⋮ Cylindric modal logic ⋮ Polynomially and superexponentially shorter proofs in fragments of arithmetic ⋮ Step by step – Building representations in algebraic logic ⋮ Note on deducibility and many-valuedness ⋮ Characterizing quantifier extensions of dependence logic ⋮ Logic and time ⋮ 2003 Annual Meeting of the Association for Symbolic Logic ⋮ Abstract Beth definability in institutions ⋮ Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic

This page was built for publication: Preface for Studia Logica special issue (2)