Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIfCoLog Journal of Logics and their Applications, Volume 8
Volume 8, Number 1, February 2021
- John Woods:
Guest Editor's Remarks. 1-2 - John Woods:
Douglas Walton: The Early Years. 3-30 - Louise Cummings:
Douglas Walton and the Covid-19 crisis. 31-52 - Maurice Finocchiaro:
Argumentation Schemes for Composition and Division Arguments: A Critique of Walton's Account. 53-74 - Trudy Govier:
Appealing to Ignorance? De-extinction and Accounts of a Fallacy. 115-136 - Katharina Stevens:
Argument is Moral. Using Walton's Dialectical Tools to Evaluate Argumentation from a Moral Perspective. 137-158 - Andrew Aberdein:
Dialogue Types, Argumentation Schemes and Mathematical Practice: Douglas Walton and Mathematics. 159-182 - Harvey Siegel, John Biro:
Walton on Argument, Arguments, and Argumentation. 183-194 - Hans V. Hansen:
Aspects of Walton's Theory of Argumentation Schemes. 195-218 - Fabio Paglieri:
Less Scheming, More Typing: Musings on the Waltonian Legacy in Argument Technologies. 219-244 - Chris Reed:
The Waltonian Foundations of Argument Technology. 245-262 - Peter McBurney, Simon Parsons:
Argument Schemes and Dialogue Protocols: Doug Walton's Legacy in Artificial Intelligence. 263-290 - Michal Araszkiewicz:
Critical Questions to Argumentation Schemes in Statutory Interpretation. 291-320
Volume 8, Number 2, March 2021
- Massimiliano Carrara, Daniele Chiffi, Ciro De Florio:
Some Remarks on Assertion and Proof. 321-328 - Cristina Barés Gómez, Matthieu Fontaine:
Defeasibility and Non-monotonicity in Dialogues. 329-352 - Francesco Bellucci, Daniele Chiffi, Ahti-Veikko Pietarinen:
Beta Assertive Graphs: Proofs of Assertions with Quantification. 353-376 - Massimiliano Carrara, Andrea Strollo:
DLEAC and the Rejection Paradox. 377-396 - Daniele Chiffi:
Asserting Boo! and Horray! Pragmatic Logic for Assertion and Moral Attitudes. 397-422 - Marcello D'Agostino, Costanza Larese, Sanjay Modgil:
Towards Depth-bounded Natural Deduction for Classical First-order Logic. 423-452 - Ciro De Florio:
Reflections on Logics for Assertion and Denial. 453-468 - Michal Fait, Giuseppe Primiero:
HTLC: Hyperintensional Typed Lambda Calculus. 469-496 - Nissim Francez:
Bilateralism based on Corrective Denial. 497-510 - Bjørn Jespersen:
Two Tales of the Turnstile. 511-530 - Nils Kürbis:
Normalisation for Bilateral Classical Logic with some Philosophical Remarks. 531-556 - Jens Lemanski:
Extended Syllogistics in Calculus CL. 557-576 - Vittorio Morato:
Assertions of Counterfactuals and Epistemic Irresponsibility. 577-592 - Fabien Schang:
A General Semantics for Logics of Affirmation and Negation. 593-620
Volume 8, Number 3, April 2021
- Ronald de Haan, Iris van de Pol:
On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models. 621-658 - Nissim Francez:
On the Role of Aristotle's Connexive Axioms in Non-connexive Logics. 659-670 - Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv:
About the Unification Type of Fusions of Modal Logic. 671-706 - Laureano Luna:
Proving Cleanthes Wrong. 707-736 - Jesse Heyninck, Christian Straßer:
A Comparative Study of Assumption-based Argumentative Approaches to Reasoning with Priorities. 737-808 - Judit X. Madarász, Mike Stannett, Gergely Székely:
Groups of Worldview Transformations Implied by Isotropy of Space. 809-876 - Babatunde Opeoluwa Akinkunmi:
Events as Located Situations: Ontological Commitments in the Problem of Individuating Events. 877-909
Volume 8, Number 4, May 2021
- Grigoris Antoniou, George Baryannis, Sotiris Batsakis, Guido Governatori, Mohammad Badiul Islam, Qing Liu, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis:
Large-scale Legal Reasoning with Rules and Databases. 911-940 - Gabriela Ferraro, Ho-Pun Lam:
NLP Techniques for Normative Mining. 941-974 - Giovanni Siragusa, Livio Robaldo, Luigi Di Caro, Andrea Violato:
Textual Entailment for Cybersecurity: An Applicative Case. 975-992 - Luciano H. Tamargo, Diego C. Martínez, Antonino Rotolo, Guido Governatori:
Time, Defeasible Logic and Belief Revision: Pathways to Legal Dynamics. 993-1022 - Silvano Colombo Tosatto, Guido Governatori:
Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice. 1023-1064 - Alessia Grassi, Mauro Vallati:
An Exploratory Study on the Use of Artificial Intelligence to Initiate Legal Understanding for Business Development. 1065-1082
Volume 8, Number 5, June 2021
- Martin Lukac:
Editorial. 1083-1086 - Keigo Taya, Yasushi Yuminaka, Yosuke Iijama:
Statistical Waveform Evaluation Method for Adaptive PAM-4 Equalization. 1087-1100 - Norihiro Kamide:
Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation. 1101-1122 - George Georgescu, Léonard Kwuida, Claudia Muresan:
Functorial Properties of the Reticulation of a Universal Algebra. 1123-1168 - Afrodita Iorgulesc, Michael Kinyon:
Putting Bounded Involutive Lattices, De Morgan Algebras, Ortholattices and Boolean Algebras on the "Map". 1169-1214 - Vilém Novák:
Intermediate Quantifiers in Partial Fuzzy Type Theory. 1215-1240 - Milena Stankovic, Claudio Moraga, Radomir S. Stankovic:
Spectral Invariance Operations for the Construction of Ternary Bent Functions. 1241-1274 - Krzysztof Podlaski:
Reversible Synthesis in Walsh-Hadamard Domain. 1275-1294 - Caroline Barbieri, Claudio Moraga:
Cycles-based and Transformation-based Synthesis of Ternary Reversibel Circuits. Aspects of Complexity. 1295-1310 - Makoto Kato, Naoya Onizawa, Takahiro Hanyu:
Design Automation of Invertible Logic Circuit from a Standard HDL Description. 1311-1333
Volume 8, Number 6, July 2021
- Dov M. Gabbay, Massimiliano Giacomin, Guillermo Ricardo Simari, Matthias Thimm:
Preface. 1335-1338 - Claudette Cayrol, Andrea Cohen, Marie-Christine Lagasquie-Schiex:
Higher-Order Interactions (Bipolar or not) in Abstract Argumentation: A State of the Art. 1339-1436 - Antonis Bikakis, Andrea Cohen, Wolfgang Dvorák, Giorgos Flouris, Simon Parsons:
Joint Attacks and Accrual in Argumentation Frameworks. 1437-1502 - Dorothea Baumeister, Daniel Neugebauer, Jörg Rothe:
Collective Acceptability in Abstract Argumentation. 1503-1542 - Katie Atkinson, Trevor J. M. Bench-Capon:
Value-based Argumentation. 1543-1588 - Stefano Bistarelli, Francesco Santini:
Weighted Argumentation. 1589-1622 - Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes Peter Wallner:
Enforcement in Formal Argumentation. 1623-1678 - Guido Governatori, Michael J. Maher, Francesco Olivieri:
Strategic Argumentation. 1679-1748 - Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo I. Simari, Guillermo Ricardo Simari:
On the Incremental Computation of Semantics in Dynamic Argumentation. 1749-1792 - Ofer Arieli, AnneMarie Borg, Jesse Heyninck, Christian Straßer:
Logic-Based Approaches to Formal Argumentation. 1793-1898
Volume 8, Number 7, August 2021
- Edson Bezerra, Giorgio Venturi:
Squeezing Arguments and the Plurality of Informal Notions. 1899-1916 - Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro:
A Framework for Modelling Molecular Interaction Maps. 1917-1952 - Dan Constantin Radulescu:
Variation and Pattern in the 3-term Syllogisms and the Biliteral Sorites of Types Barbara, Darapti and Darii. 1953-1976 - Dov M. Gabbay:
What is Negation in a System 2020? 1977-2034 - Gemma Robles:
The Class of all 3-valued Implicative Expansions of Kleene?s Strong Logic Containing Anderson and Belnap's First Degree Entailment Logic. 2035-2072 - Albert Visser:
Enayat Theories. 2073-2118 - John Woods:
How Paradox Fares in Inconsistency Robust Logic and Beyond: Computational and Naturalized Approaches. 2119-2172 - Afrodita Iorgulesc, Michael Kinyon:
Two Generalizations of Bounded Involutive Lattices and of Ortholattices. 2173-2218 - Andrew David Irvine:
A Science Like Any Other. 2219-2234 - Annalisa Conversano:
Groups Definable in o-minimal Structures: Various Properties and a Diagram. 2235-2256 - Nils Kürbis:
Addenda: Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'. 2257-2259
Volume 8, Number 8, September 2021
- Valeria de Paiva, Sergei Artemov:
Preface to Intiutionistic Modal Logic 2017. 2261-2264 - Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque:
Bisimulations for Intuitionistic Temporal Logics. 2265-2286 - G. A. Kavvos:
Intensionality, Intensional Recursion and the Gödel-Löb Axiom. 2287-2312 - Roman Kuznets, Sonia Marin, Lutz Straßburger:
Justification Logic for Constructive Modal Logic. 2313-2332 - Ilya B. Shapirovsky:
Glivenko's Theorem, Finite Height, and Local Tabularity. 2333-2348 - Xavier Parent:
A Modal Characterisation of an Intuitionistic I/O Operation. 2349-2362
Volume 8, Number 9, October 2021
- Michal Araszkiewicz, Tomasz Zurek:
Preface. 2363-2372 - Federico Costantini, Fausto Galvan, Marco Alvise de Stefani, Sebastiano Battiato:
Assessing "Information Quality" in IoT Forensics: Theoretical Framework and Model Implementation. 2373-2406 - Anne Ruth Mackor:
Different Ways of Being Naked. A Scenario Approach to the Naked Statistical Evidence Problem. 2407-2433 - Douglas Walton:
Using Distance in Argument Maps to Model Conditional Probative Relevance. 2433-2457
Volume 8, Number 10, December 2021
- Anatolij Dvurecenskij, Omid Zahiri:
Weak Pseudo EMV-algebras. I: Basic Properties. 2365-2400 - Anatolij Dvurecenskij, Omid Zahiri:
Weak Pseudo EMV-algebras. II: Representation and Subvarieties. 2401-2434 - Gemma Robles, José M. Méndez:
A 2 Set-up Routley Semantics for the 4-valued Logic PL4. 2435-2446 - Alexander Bentkamp:
The Embedding Path Order for Lambda-Free Higher-Order Terms. 2447-2470 - Andrzej Wisniewski:
Entailment, Transmission of Truth, and Minimality. 2471-2522
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-21 21:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
