default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIfCoLog Journal of Logics and their Applications, Volume 5
Volume 5, Number 1, February 2018
- Dov M. Gabbay, Jörg H. Siekmann:
Editorial. 1-4 - Claudette Cayrol, Didier Dubois, Fayçal Touazi:
Possibilistic Reasoning from Partially Ordered Belief Bases with the Sure Thing Principle. 5-40 - Saeed Rasouli, Zeinab Zarin, Abass Hasankhan:
Characterization of a New Subquasivariety of Residuated Lattice. 41-70 - Pere Pardo, Enrique Sarión-Morrillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada:
Tuning the Program Transformers from CC to PDL. 71-96 - Sanaz Azimipour, Pavel Naumov:
Lighthouse Principle for Diffusion in Social Networks. 97-120 - Romas Alonderis, Jurate Sakalauskaite:
A Labelled Sequent Calculus for Half-order Modal Logic. 121-164 - Anatolij Dvurecenskij, Omid Zahiri:
On Epicomplete MV -algebras. 165-184 - Francesco Luca De Angelis, Giovanna Di Marzo Serugendo, Andrzej Szalas:
Paraconsistent Rule-based Reasoning with Graded Truth Values. 185-220 - Alexander Bolotov, Daniil Kozhemiachenko, Vasilyi Shangin:
Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications. 221-262 - Peter Schuster, Daniel Misselbeck-Wessel:
Suzumura Consistency, an Alternative Approach. 263-286 - Soroush Rafiee Rad:
Maximum Entropy Models for $\sum$1 Sentences. 287-300 - Philippe Balbiani, Tinko Tinchev:
Elementary Unification in Modal Logic KD45. 301-318 - Syed Atif Naseem, Riaz Uddin, Osman Hasan, Diaa E. Fawzy:
Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid. 319-366 - Giorgi Japaridze:
Elementary-base Cirquent Calculus I: Parallel and Choice Connectives. 367-388 - Antonio Avilés, José Miguel Zapata:
Boolean-valued Models as a Foundation for Locally L0-Convex Analysis and Conditional Set Theory. 389-420 - Robert Demolombe:
About Relationships Between two Individuals. 421-436 - Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi:
On the Lattice of the Subvarieties of Monadic MV (C)-algebras. 437-454
Volume 5, Number 2, April 2018
- Serena Villata:
Editorial. 455-456 - Natasha Alechina, Brian Logan, Mehdi Dastani:
Modeling Norm Specification and Verification in Multiagent Systems. 457-490 - Christopher Frantz, Gabriella Pigozzi:
Modeling Norm Dynamics in Multiagent Systems. 491-564 - Nicoletta Fornara, Tina Balke-Visser:
Modeling Organizations and Institutions in Multiagent Systems. 565-590 - Rob Christiaanse:
Modeling Norms Embedded in Society: Ethics and Senstitive Design. 591-628
Volume 5, Number 3, June 2018
- Mathieu Beirlaen, Jesse Heyninck, Pere Pardo, Christian Straßer:
Argument Strength in Formal Argumentation. 629-676 - William Peden:
Imprecise Probability and the Measurement of Keynes's "Weight of Arguments". 677-708 - Sjur K. Dyrkolbotn, Truls Pedersen, Jan M. Broersen:
On Elitist Lifting and Consistency in Structured Argumentation. 709-746 - Thomas F. Gordon:
Defining Argument Weighing Functions. 747-773
Volume 5, Number 4, June 2018
- Gernot D. Kleiter:
Adams' p-validity in the Research on Human Reasoning. 775-826 - David Fernández-Duque, Petar Iliev:
Succinctness in Subsystems of the Spatial μ-Calculus. 827-874 - Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar:
Formal Analysis of Discrete-Time Systems using z-Transform. 875-906 - Judit X. Madarász, Gergely Székely, Mike Stannett:
Does Negative Mass Imply Superluminal Motion? An Investigation in Axiomatic Relativity Theory. 907-926 - James B. Freeman:
Estimating the Strength of Defeasible Arguments: A Formal Inquiry. 927-944
Volume 5, Number 5, August 2018
- John Woods:
The logical foundations of strategic reasoning: inconsistency-management as a test case for logic. 945-986 - John F. Sowa:
Reasoning with diagrams and images: observation and imagination as rules of inference. 987-1060 - Lorenzo Magnani:
Playing with anticipation as abduction: strategic reasoning in an eco-cognitive perspective. 1061-1092 - Akinori Abe:
Abductive cognition: affordance, curation, and chance. 1093-1120 - Ahti-Veikko Pietarinen:
Conjectures and abductive reasoning in games. 1121-1144 - Woosuk Park:
Enthymematic interaction in Baduk. 1145-1168 - Woosuk Park:
When is a strategy in games? 1169-1204 - John Woods:
What strategicians might learn from the common law: implicit and tacit understandings of the unwritten. 1205-1257
Volume 5, Number 6, September 2018
- Michael Gabbay, Prokop Sousedík, David Svoboda:
Editorial. 1259-1260 - Vítezslav Svejdar:
Modern Czech Logic: Vopenka and Hájek, History and Background. 1261-1272 - Matthias Schirn:
Finitist Consistency Proofs and the Impact of Gödel's Incompleteness Theorems on Hilbert?s Metamathematics. 1273-1300 - Jonathan P. Seldin:
Formalism and Structuralism, a Synthesis: the Philosophical Ideas of H. B. Curry. 1301-1306 - Ladislav Kvasz:
Resnik's Structuralism in Light of the History of Mathematics. 1307-1336 - Arezoo Islami:
A Complex Problem For Formalists. 1337-1364 - Michael Gabbay:
Formalism and Set Theoretic Truth. 1365-1380 - Danielle Macbeth:
A Non-Structuralist Alternative to Formalism. 1381-1398 - Prokop Sousedík, David Svoboda:
Are Ante Rem Structuralists Descriptivist Or Revisionist Metaphysicians? How We Speak About Numbers. 1399-1416 - Josef Mensík:
What Sort of Mathematical Structuralism is Category Theory? 1417-1429
Volume 5, Number 7, October 2018
- Ricardo Sousa Silvestre, Jean-Yves Béziau:
Formal Approaches to the Ontological Argument. 1431-1438 - Ricardo Sousa Silvestre:
A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant. 1439-1472 - John Rushby:
A Mechanically Assisted Examination of Begging the Question in Anselm's Ontological Argument. 1473-1496 - Erik Thomsen:
A Tractarian Resolution to the Ontological Argument. 1497-1514 - Giovanni Mion:
On Kant's Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument. 1515-1522 - Srecko Kovac:
The Totality of Predicates and the Possibility of the Most Real Being. 1523-1552 - Kordula Swietorzecka, Marcin Lyczak:
An Even More Leibnizian Version of Gödel's Ontological Argument. 1553-1566 - David Fuenmayor:
A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument. FLAP 5(7): 1567-1603 (2018)
Volume 5, Number 8, November 2018
- Nenad Stojanovic, Nebojsa Ikodinovic, Radosav Djordjevic:
A Propositional Logic with Binary Metric Operators. 1605-1622 - Adnan Rashid, Osman Hasan:
Formalization of Lerch's Theorem using HOL Light. 1623-1652 - Nissim Francez:
Bilaterilism does Provide a Proof Theoretic Treatment of Classical Logic (for non-technical reasons). 1653-1662 - Michael Kompatscher, Trung Van Pham:
A Complexity Dichotomy for Poset Constraint Satisfaction. 1663-1696 - Cristina Barés Gómez:
Abduction in Akkadian Medical Diagnosis. 1697-1722 - Anatolij Dvurecenskij:
Riesz Space-valued States on Pseudo MV-algebras. 1723-1764 - Karin Cvetko-Vah, João Pita Costa:
On the Update Operation in Skew Lattices. 1765-1774 - Sérgio Mota:
Corrigendum to "The Never Ending Recursion". 1775-1776
Volume 5, Number 9, December 2018
- Robert Wille, Martin Lukac:
Preface to the Special Issue of the 48th IEEE International Symposium on Multiple Valued Logic. 1777-1778 - Martin Lukac:
Editor's Note. 1779-1780 - Kaitlin N. Smith, Tim LaFave, Duncan L. MacFarlane, Mitchell A. Thornton:
Higher-Radix Chrestenson Gates for Photonic Quantum Computation. 1781-1798 - Kenta Saito, Naoki Suefuji, Seiya Kasai, Masashi Aono:
Amoeba-inspired Electronic Computing System and its Application to Autonomous Walking of a Multi-legged Robot. 1799-1814 - Akira Ito, Rei Ueno, Naofumi Homma, Takafumi Aoki:
Characterizing Parallel Multipliers for Detecting Hardware Trojans. 1815-1832 - Takao Waho:
A Noise-shaping Analog-to-Digital Converter using a ΔΣ Modulator Feedforward Network. 1833-1848 - Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler:
An Exact Optimization Method using ZDDs for Linear Decomposition of Symmetric Index Generation Functions. 1849-1866
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-04-22 21:04 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:
