The following pages link to Dov M. Gabbay (Q232653):
Displayed 50 items.
- A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593) (← links)
- Modelling defeasible and prioritized support in bipolar argumentation (Q1935594) (← links)
- Introducing reactive Kripke semantics and arc accessibility (Q1935595) (← links)
- Embedding and automating conditional logics in classical higher-order logic (Q1935597) (← links)
- Global view on reactivity: switch graphs and their logics (Q1935598) (← links)
- Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger (Q1941728) (← links)
- Future determination of entities in Talmudic public announcement logic (Q1948288) (← links)
- Reactive Kripke models and contrary to duty obligations. Part A: Semantics (Q1948290) (← links)
- A socio-cognitive model of trust using argumentation theory (Q1951301) (← links)
- Argumentation as exogenous coordination (Q2028752) (← links)
- Ensuring reference independence and cautious monotony in abstract argumentation (Q2069060) (← links)
- The degrees of monotony-dilemma in abstract argumentation (Q2146005) (← links)
- Sequential dynamic logic (Q2255197) (← links)
- A theory of hierarchical consequence and conditionals (Q2268351) (← links)
- Complete extensions in argumentation coincide with 3-valued stable models in logic programming (Q2269506) (← links)
- Semantics for higher level attacks in extended argumentation frames. I: Overview (Q2269507) (← links)
- Preface for Studia Logica special issue (2) (Q2269508) (← links)
- Meta-argumentation modelling. I: Methodology and techniques (Q2269509) (← links)
- Modal logics of reactive frames (Q2269510) (← links)
- Modal provability foundations for argumentation networks (Q2269511) (← links)
- Logical modes of attack in argumentation networks (Q2269513) (← links)
- Fibring argumentation frames (Q2269514) (← links)
- A logical account of formal argumentation (Q2269515) (← links)
- Annotation theories over finite graphs (Q2269516) (← links)
- The Talmudic logic project, ongoing since 2008 (Q2297956) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- A neural cognitive model of argumentation with application to legal inference and decision making (Q2447172) (← links)
- The paradoxes of permission an action based solution (Q2447177) (← links)
- Abductive reasoning in neural-symbolic systems (Q2460297) (← links)
- Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals (Q2462670) (← links)
- Analysis and synthesis of logics. How to cut and paste reasoning systems (Q2469685) (← links)
- Context-dependent abduction and relevance (Q2499286) (← links)
- Connectionist computations of intuitionistic reasoning (Q2503271) (← links)
- Algebras of measurements: the logical structure of quantum mechanics (Q2506100) (← links)
- Proof theory for fuzzy logics (Q2519539) (← links)
- On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II (Q2550380) (← links)
- Tense systems with discrete moments of time. I (Q2555065) (← links)
- A general filtration method for modal logics (Q2556392) (← links)
- The burden of persuasion in abstract argumentation (Q2695517) (← links)
- (Q2701982) (← links)
- (Q2701984) (← links)
- (Q2715519) (← links)
- The new logic (Q2716918) (← links)
- Interpolation in practical formal development (Q2716926) (← links)
- More on non-cooperation in dialogue logic (Q2716931) (← links)
- (Q2751373) (← links)
- (Q2753192) (← links)
- (Q2753602) (← links)
- Logical foundations for bipolar and tripolar argumentation networks: preliminary results (Q2804329) (← links)
- (Q2851806) (← links)