default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIfCoLog Journal of Logics and their Applications, Volume 10
Volume 10, Number 1, January 2023
- José Miguel Blanco, Sandra M. López, Marcos M. Recio:
On How the 2 Set-up Routley-Meyer Semantics are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-valued Logics. 1-18 - Miklós Ferenczi:
On the Representation of Transposition Algebras and Non-commutative Cylindric Algebras. 19-28 - Giacomo Lenzi, Gaetano Vitale:
Logical Complexity of Spectra of Abelian ℓ-groups. 29-35 - Andrew Schumann:
Rabbi Ishmael's Thirteen Hermeneutic Rules as a Kind of Logic. 37-56 - Grigory K. Olkhovikov:
On the Completeness of Some First-order Extensions of C. 57-114
Volume 10, Number 2, March 2023
- Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm:
Joining Formal and Cognitive Reasoning. 115-119 - Meghna Bhadra, Steffen Hölldobler:
The Weak Completion Semantics and Counterexamples. 121-154 - Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Epistemic State Mappings among Ranking Functions and Total Preorders. 155-191 - Vincent de Wit, Dragan Doder, John-Jules Ch. Meyer:
Probabilistic Deontic Logics for Reasoning about Uncertain Norms. 193-220 - Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
Activation-based Conditional Inference. 221-247 - Clayton Kevin Baker, Thomas Meyer:
Do Humans Find Postulates of Belief Change Plausible? 249-267
Volume 10, Number 3, May 2023
- Marcello D'Agostino, Fabio Aurelio D'Asaro, Costanza Larese:
Advancing the Boundaries of Formal Argumentation: Reflections on the AI3 2021 Special Issue. 269-277 - Federico Castagna:
Dialectical Argument Game Proof Theories for Classical Logic. 279-317 - Federico Cerutti, Yvonne McDermott Rees:
A Formal Argumentation Exercise on the Karadžić Trial Judgment. 319-339 - Pietro Baroni, Federico Cerutti, Massimiliano Giacomin:
Decomposing Semantics in Abstract Argumentation. 341-392 - Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor:
Burden of Persuasion: A Meta-argumentation Approach. 393-420 - Antonio Rago, Fabrizio Russo, Emanuele Albini, Francesca Toni, Pietro Baroni:
Explaining Classifiers' Outputs with Causal Models and Argumentation. 421-509
Volume 10, Number 4, July 2023
- Tatsuya Abe, Daisuke Kimura:
Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding. 511-530 - Mahta Bedrood, Giuseppina Barbieri, Giacomo Lenzi, Farhad Sajadian, Arsham Borumand Saeid:
A Special Type of Ideals in MV-algebras of Continuous Functions. 531-554 - Sviatlana Höhn, Barbara Lewandowska-Tomaszczyk, Sjouke Mauw, Dov M. Gabbay:
Dripping the Poison: The Instruments of Bias. A Qualitative Case Study of News Articles in Four Languages over Nine Years. 555-585 - Pawel Pawlowski:
Height of Valuations in Non-deterministic Semantics for Modal Logic. 587-601 - Riccardo Dossena, Lorenzo Magnani:
Optical Microscopes Reveal the Hyperreal World. 603-627 - Daniel Rogozin, Ilya Shapirovsky:
On Decidable Extensions of Propositional Dynamic Logic with Converse. 629-642
Volume 10, Number 5, November 2023
- Jandson S. Ribeiro, Matthias Thimm:
Measuring Inconsistency with the Tableau Method. 643-691 - Rafael Baldasso Audibert, Henrique Lemos, Pedro H. C. Avelar, Anderson R. Tavares, Luís C. Lamb:
On the Evolution of AI and Machine Learning: Towards a Meta-level Measuring and understanding Impact, Influence and Leadership at Premier AI Conferences. 693-817 - Xiaoxue Zhang, Hongxing Liu:
The Annihilating-ideal Graphs of MV-algebras. 819-849 - Karl Schlechta:
On Yablo's Construction. 851-907 - Dov M. Gabbay, Gadi Rozenberg:
Evolutionary Temporal Logic for Modelling Many-Lives Argumentation Networks. 909-966
Volume 10, Number 6, December 2023
- Martin Lukac:
Editorial Note for the Speical Issue on Multiple Valued Logic 2023. 969-971 - Kazuharu Nakajima, Yasushi Yuminaka, Yosuke Iijima:
Multi-Valued Data Transmission Quality Evaluation Using Two-Dimensional PAM-4 Symbol Mapping. 973-991 - Abdirahman Alasow, Marek A. Perkowski:
Quantum Algorithms for Unate and Binate Covering Problems with Application to Finite State Machine Minimization. 993-1023 - Norihiro Kamide:
Embedding First-order Classical Logic into Gurevich's Extended First-order Intuitionistic Logic: The Role of Strong Negation. 1025-1058 - Mike Behrisch:
On Weak Bases for Boolean Relational Clones and Reductions for Computational Problems. 1059-1103 - Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler:
On Representation of Maximally Asymmetric Functions Based on Decision Diagrams. 1105-1130 - Claudio Moraga, Radomir S. Stankovic, Milena Stankovic:
p-valued Maiorana-McFarland Functions Structure of their Reed-Muller Spectra. 1131-1151
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 2025-01-22 20:21 CET 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:
