Journal: FLAP

Volume 6, Issue 6

999 -- 1006Stanislaw Krajewski, Ricardo Silvestre. Logic and the Concept of God
1007 -- 1020Stanislaw Krajewski. Mathematical Models in Theology. A Buber-inspired Model of God and its Application to "Shema Israel"
1021 -- 1036Talia Leven. Gödel's God-like Essence
1037 -- 1050Héctor Hernández Ortiz, Victor Cantero Flores. A Logical Solution to the Paradox of the Stone
1051 -- 1092Beau Branson. No New Solutions to the Logical Problem of the Trinity
1093 -- 1108Basil Lourié. What Means 'Tri-' in 'Trinity'? An Eastern Patristic Approach to the 'Quasi-Ordinals'
1109 -- 1124Anna Zhyrkova. The Éminence Grise of Christology: Porphyry's Logical Teaching as a Cornerstone of Argumentation in Christological Debates of the Fifth and Sixth Centruies
1125 -- 1142Dirk Krasmüller. The Problem of Universals in Late Patristic Theology
1143 -- 1186Antonino Drago. Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues (1401?1464)
1187 -- 1222Mirjana Borisavljevic. Two Normalizations for Natural Deductions in Sequent Style
1223 -- 1252S. A. Selesnick. Tsien's Power-of-two Law in a Neuromorphic Network Model Suitable for Artificial Intelligence
1253 -- 1262Maarten McKubre-Jordens, Phillip L. Wilson. Infinity in Computable Probability
1263 -- 1284Asad Ahmed, Osman Hasan, Ammar Hasan. Formal Periodic Steady-state Analysis of Power Converters in Time-domain
1285 -- 1328Anatolij Dvurecenskij, Omid Zahiri. Pseudo EMV-algebras. I - Basic Properties
1329 -- 1372Anatolij Dvurecenskij, Omid Zahiri. Pseudo EMV-algebras. II - Representation and States
1373 -- 1446Lloyd Humberstone. Recent Thought on Is and Ought: Connections, Confluences and Rediscoveries
1447 -- 1474Antoine Rauzy, Liu Yang. Finite Degradation Structures
1475 -- 1500Philippe Balbiani, Martín Diéguez, Luis Fariñas del Cerro. Setting the Basis for Here and There Modal Logics
1501 -- 1507Mohammad Shafiei. Book Review: Immanent Reasoning or Equality in Action; A Plaidoyer for the Play Level by Shahid Rahman, Zoe McConaughey, Ansten Klev and Nicolas Clerbout

Volume 6, Issue 5

711 -- 714Livio Robaldo, Leendert W. N. van der Torre. Introduction to Legal AI
715 -- 732Christoph Benzmüller, Ali Farjami, Paul Meder, Xavier Parent. I/O Logic in HOL
733 -- 754Christoph Benzmüller, Ali Farjami, Xavier Parent. åqvist's Dyadic Deontic Logic E in HOL
755 -- 780Cleyton M. O. Rodrigues, Eunice Palmeira da Silva, Fred Freitas, Italo Jose da Silva Oliveira, Ivan Varzinczak. LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability
781 -- 814Guillaume Aucher, Jean Berbinau, Marie-Laure Morin. Principles for a Judgement Editor Based on Binary Decision Diagrams
815 -- 846Guido Governatori, Antonino Rotolo. Time and Compensation Mechanisms in Checking Legal Compliance
847 -- 864Réka Markovich. Rights and Punishment: The Hohfeldian Theory's Applicability and Morals in Understanding Criminal Law
865 -- 902Rafal Urbaniak. Probabilistic Legal Decision Standards Still Fail
903 -- 940Régis Riveret, Antonino Rotolo, Giovanni Sartor. A Deontic Argumentation Framework Towards Doctrine Reification
941 -- 962Réka Markovich. Two Limitations in Legal Knowledge Base Constructing and Formalizing Law
963 -- 998Silvano Colombo Tosatto, Guido Governatori, Nick van Beest, Francesco Olivieri. Efficient Full Compliance Checking of Concurrent Components for business Process Models

Volume 6, Issue 4

609 -- 610Artur S. d'Avila Garcez, Tarek R. Besold. Editorial
611 -- 632Artur S. d'Avila Garcez, Marco Gori, Luís C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran. Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning
633 -- 652Emile van Krieken, Erman Acar, Frank van Harmelen. Semi-supervised Learning using Differentiable Reasoning
653 -- 694Gadi Pinkas, Shimon Cohen. High-order Networks that Learn to Satisfy Logic Constraints
695 -- 708Yin Jun Phua, Tony Ribeiro, Katsumi Inoue. Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge
709 -- 724Martha Lewis. Compositionality for Recursive Neural Networks
725 -- 744Till Mossakowski, Razvan Diaconescu, Martin Glauer. Towards Fuzzy Neural Conceptors
745 -- 769Tillman Weyde, Radha Manisha Koppart. Modelling Identity Rules with Neural Networks

Volume 6, Issue 3

431 -- 446Peter B. M. Vranas. New Foundations for Imperative Logic IV: Natural Deduction
447 -- 468Asad Ahmed, Osman Hasan, Ammar Hasan. Formal Periodic Steady-State Analysis of Power Converters in Time-Domain
469 -- 512Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar. Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving
513 -- 522Ruurik Holm. A Novel Criterion for Rejecting the Non-Inductive Method
523 -- 608Frederik Van De Putte, Mathieu Beirlaen, Joke Meheus. Adaptive Deontic Logics: A Survey

Volume 6, Issue 2

205 -- 208Ofer Arieli, Anna Zamansky. Preface
209 -- 228Diana Costa, Manuel A. Martins, João Marcos 0001. On Herbrand's Theorem for Hybrid Logic
229 -- 254Leonid Devyatkin. Many-valued Paraconsistent Extensions of Classical Positive Propositional Calculus
255 -- 290Nissim Francez, Michael Kaminski. On Poly-logistic Natural-deduction for Finitely-valued Propositional Logics
291 -- 318Oleg M. Grigoriev. Logic of Bipartite Truth with Uncertainty Dimension
319 -- 360Jesse Heyninck. Relations Between Assumption-based Approaches in Nonmonotonic Logics and Formal Argumentation
361 -- 382Beata Konikowska, Arnon Avron. Reasoning about Covering-based Rough Sets Using Three Truth Values
383 -- 396Daniele Mundici. Preservation properties of De Finetti Coherence
397 -- 412Nenad Savic, Thomas Studer. Relevant Justification Logic
413 -- 430Yaroslav Shramko. Dual-Belnap Logic and Anything but Falsehood

Volume 6, Issue 1

1 -- 30Huili Xing, Zhaohui Zhu, Jinjin Zhang. Covariant-Contravariant Refinement Modal Logic
31 -- 82Andrew Schumann. Did the Neo-Babylonians Construct a Symbolic Logic for Legal Proceedings?
83 -- 104Wilhelm Rödder, Andreas Dellnitz, Ivan Ricardo Gartner, Sebastian Litzinger. Weight Predication on Missing Links in Social Networks. A Cross-Entropy-Based Approach
105 -- 156Woosuk Park, Sungyong Kim, Keunhyoung Luke Kim, Jeounghoon Kim. AlphaGo's Decision Making
157 -- 203Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo. Strengthening Gossip Protocols using Protocol-Dependent Knowledge