Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Page: 1 2 3 4 5

Hits 1 – 20 of 87

1	Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)
	Gabbay, Dov M.; Giacomin, Massimiliano; Liao, Beishui. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. : Dagstuhl Manifestos. Dagstuhl Manifestos, Volume 7, Issue 1, 2018
	BASE
	Show details

2	Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362) ...
	Gabbay, Dov M.; Giacomin, Massimiliano; Liao, Beishui. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 2018
	BASE
	Show details

3	Two dimensional standard deontic logic (including a detailed analysis of the 1985 Jones-Pörn deontic logic system)
	Boer, Mathijs de; Parent, Xavier; Slavkovic, Marija...
	In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 187 (2012) 2, 623-660
	BLLDB
	OLC Linguistik
	Show details

4	Sequential Dynamic Logic
	Bochman, Alexander; Gabbay, Dov M.
	In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 21 (2012) 3, 279-298
	OLC Linguistik
	Show details

5	Logic : a history of its central concepts. - Handbook of the history of logic ; 11 : Logic : a history of its central concepts. -
	Gabbay, Dov M. (Hrsg.). - Amsterdam [u.a.] : Elsevier [u.a.], 2012
	BLLDB
	UB Frankfurt Linguistik
	Show details

6	A comment on work by Booth and co-authors
	Gabbay, Dov M.; Schlechta, Karl
	In: Studia logica. - Dordrecht : Springer Science + Business Media 94 (2010) 3, 403-432
	BLLDB
	Show details

7	A theory of hierarchical consequence and conditionals
	Schlechta, Karl; Gabbay, Dov M.
	In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 19 (2009) 1, 3-32
	BLLDB
	OLC Linguistik
	Show details

8	Analysis of the Talmudic Argumentum A Fortiori inference rule (Kal Vachomer) using Matrix Abduction
	Avraham, Mikhaʾel; Gabbay, Dov M.; Schild, Uri J.
	In: Studia logica. - Dordrecht : Springer Science + Business Media 92 (2009) 3, 281-364
	BLLDB
	Show details

9	A meta-model of access control in a fibred security language
	Barker, Steve; Boella, Guido; Gabbay, Dov M....
	In: Studia logica. - Dordrecht : Springer Science + Business Media 92 (2009) 3, 437-477
	BLLDB
	Show details

10	Meta-argumentation modelling, 1, Methodology and techniques
	Boella, Guido; Gabbay, Dov M.; Torre, Leendert van der...
	In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 297-355
	BLLDB
	Show details

11	Complete extensions in argumentation coincide with 3-valued stable models in logic programming
	Wu, Yining; Caminada, Martin W. A.; Gabbay, Dov M.
	In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 383-403
	BLLDB
	Show details

12	Modal logics of reactive frames
	Gabbay, Dov M.; Marcelino, Sérgio
	In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 405-446
	BLLDB
	Show details

13	Annotation theories over finite graphs
	Gabbay, Dov M.; Szałas, Andrzej
	In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 147-180
	BLLDB
	Show details

14	Logical modes of attack in argumentation networks
	Gabbay, Dov M.; D'Avila Garcez, Artur S.
	In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 199-230
	BLLDB
	Show details

15	Independence - revision and defaults
	Gabbay, Dov M.; Schlechta, Karl
	In: Studia logica. - Dordrecht : Springer Science + Business Media 92 (2009) 3, 381-394
	BLLDB
	Show details

16	Modal provability foundations for argumentation networks
	Gabbay, Dov M.
	In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 181-198
	BLLDB
	Show details

17	Semantics for higher level attacks in extended argumentation frames, Part 1, Overview
	Gabbay, Dov M.
	In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 357-381
	BLLDB
	Show details

18	Fibred security language
	Boella, Guido; Gabbay, Dov M.; Genovese, Valerio...
	In: Studia logica. - Dordrecht : Springer Science + Business Media 92 (2009) 3, 395-436
	BLLDB
	Show details

19	A logical account of formal argumentation
	Caminada, Martin W. A.; Gabbay, Dov M.
	In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 109-145
	BLLDB
	Show details

20	Fibring argumentation frames
	Gabbay, Dov M.
	In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 231-295
	BLLDB
	Show details

Page: 1 2 3 4 5

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern