College Publications logo   College Publications title  
View Basket
Homepage Contact page
   
 
AiML
Academia Brasileira de Filosofia
Algorithmics
Arts
Cadernos de Lógica e Computação
Cadernos de Lógica e Filosofia
Cahiers de Logique et d'Epistemologie
Communication, Mind and Language
Computing
Comptes Rendus de l'Academie Internationale de Philosophie des Sciences
Cuadernos de lógica, Epistemología y Lenguaje
DEON
Dialogues
Economics
Encyclopaedia of Logic
Filosofia
Handbooks
Historia Logicae
IfColog series in Computational Logic
IfColog Lecture series
IfColog Proceedings
Journal of Applied Logics - IfCoLog Journal
About
Editorial Board
Scope of the Journal
Submissions
Forthcoming papers
Journals
Landscapes
Logics for New-Generation AI
Logic and Law
Logic and Semiotics
Logic PhDs
Logic, Methodology and Philosophy of Science
The Logica Yearbook
Neural Computing and Artificial Intelligence
Philosophy
Research
The SILFS series
Studies in Logic
Studies in Talmudic Logic
Student Publications
Systems
Texts in Logic and Reasoning
Texts in Mathematics
Tributes
Other
Digital Downloads
Information for authors
About us
Search for Books
 



Forthcoming papers


This page lists all forthcoming papers which will be published in a future issue of the Journal of Applied Logics.

Back

Volume :

Weak pseudo EMV-algebras. II: Representation and subvarieties

Anatoij Dvurecenskij and Omid Zahiri

View Details


Volume :

Weak pseudo EMV-algebras. I: Basic properties

Anatolij Dvurecenskij and Omid Zahiri

View Details


Volume :

Squeezing Arguments and the Plurality of Informal Notions

Edson Bezerra and Giorgio Venturi

View Details


Volume :

Groups of Worldview Transformations Implied by Isotropy of Spac

Judit X. Madarasz, Mike Stanett and Gergely Szekely

View Details


Volume :

Proving Cleanthes Wrong

Laureano Luna Cabañero

October 2020

View Details


Volume :

What is Negation in a System 2020

Dov Gabbay

View Details


Volume :

Unification type of fusions

Philippe Balbian, Cigdem Gencer and Maryam Rostamigiv

View Details


Volume :

Events as Located Situations: Ontological Commitments in the Problem of Individuating Events

B.O. Akinkunmi

View Details


Volume :

A comparative study of assumption-based argumentative approaches to reasoning with priorities

Jesse Heyninck and Christian Strasser

View Details


Volume :

Twins in Logic - Identical and Otherwise

Lloyd Humberstone

View Details


Volume :

About the Unification Type of Fusions of Modal Logics

Philippe Balbiani, Çi˘gdem Gencer and Maryam Rostamigiv

View Details


Volume :

On the Role of Aristotle's Connexive Axioms in Non-connexive Logics

Nissim Francez

View Details


Volume :

On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models

Ronald de Haan and Iris Pol

View Details


Volume :

Optimal Polynomial-Time Estimators: A Bayesian Notion of Approximation Algorithm

Vanessa Kosoy and Alexander Appel

View Details


Volume :

Bilateralism based on corrective denial
Assertion and Proof special issue

Nissim Francez

View Details


Volume :

Reflections on Logics for Assertion and Denial
Assertion and Proof special issue

Ciro De Florio

View Details


Volume :

A general semantics for logics of affirmation and negation
Assertion and Proof special issue

Fabien Schang

View Details


Volume :

Extended Syllogistics in Calculus CL
Assertion and Proof special issue

Jens Lemanski

View Details


Volume :

Normalisation for Bilateral Classical Logic with some Philosophical Remarks
Assertion and Proof special issue

Nils Kürbis

View Details


Volume :

Defeasibility and Non-Monotonicity in Dialogues
Assertion and Proof special issue

Cristina Barés Gómez and Matthieu Fontaine

View Details


Volume :

Asserting Boo! and Horray! Pragmatic Logic for Assertion and Moral Attitudes
Assertion and Proof special issue

Daniele Chiffi

View Details


Volume :

DLEAC and the Rejection Paradox
Assertion and Proof special issue

Massimiliano Carrara

View Details


Volume :

Measuring Inconsistency in Finitary First-order Logic

John Grant

View Details


Volume :

Hilbert Algebras in a Non-classical Framework
Hilbert Algebras with Apartness

Daniel A. Romano

View Details


Volume :

Assumptive Sequent-based Argumentation

AnneMarie Borg

View Details


Volume :

Infinity in computable probability

Maarten McKubre-Jordens and Phillip L. Wilson

View Details


Volume :

Tsien's power-of-two law in a neuromorphic network model suitable for artificial intelligence

S. A. Selesnick

View Details


Volume :

Two normalizations for natural deductions in sequent style

Mirjana Borisavlievic

View Details


Volume :

Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving

Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiene Tahar

View Details


Volume :

Formal periodic steady-state analysis of power converters in time-domain

Asad Ahmed, Osman Hasan and Ammar Hasan

View Details


Volume :

New foundations for imperative logic IV: Natural deduction

Peter B. M. Vranas

View Details


Volume :

Strengthening Gossip Protocols using Protocol-Dependent Knowledge

Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer and Pere Pardo

View Details


Volume :

AlphaGo's Decision Making

Woosuk Park, Sungyong Kim, Keunhyoung Luke Kim and Jeounghoon Kim

View Details


Volume :

Covariant-Contravariant Refinement Modal Logic

Huili Xing, Zhaohui Zhu and Jinjin Zhang

View Details


Volume :

A tractarian resolution to the ontological argument
To be published in Special Issue on Formal Approaches to the Ontological Argument

Erik Thomsen

View Details


Volume :

An even more Leibnizian version of Gödel’s ontological argument
To be published in Special Issue on Formal Approaches to the Ontological Argument

Kordula Świętorzecka and Marcin Łyczak

View Details


Volume :

On Kant’s hidden ambivalence toward existence in his critique of the ontological argument
To be published in Special Issue on Formal Approaches to the Ontological Argument

Giovanni Mion

View Details


Volume :

Abduction in Akkadian Medical Diagnosis

Cristina Bares Gomez

View Details


Volume :

On the Update Operation in Skew Lattices

Karin Cvetko-Vah and Joao Pita Costa

View Details


Volume :

Formalization of Lerch's theorem using HOL Light

Adnan Rashid and Osman Hasan

View Details


Volume :

A Complexity Dichotomy for Poset Constraint Satisfaction

Michael Kompatscher and Trung Van Pham

View Details


Volume :

Riesz Space-Valued States on Pseudo MV-algebras

Anatolij Dvurev{c}enskij

View Details


Volume :

Estimating the Strength of Defeasible Arguments
A Formal Inquiry

James B. Freeman

View Details


Volume :

Bilateralism does provide a proof theoretic treatment of classical logic (for non-technical reasons)

Nissim Francez

View Details


Volume :

A propositional logic with binary metric operators

Nenad Stojanovic, Nebojsa Ikodinovic and Radosav Djordjevic

View Details


Volume :

Does Negative Mass Imply Superluminal Motion?
An Investigation in Axiomatic Relativity Theory

J. X. Madaráz, G. Székely and M. Stannett

View Details


Volume :

Formal Analysis of Discrete-Time Systems using z-Transform

Umair Siddique, Mohamed Yousri Mahmoud and Sofiène Tahar

View Details


Volume :

Succinctness in Subsystems of the Spatial mu-calculu

David Fernández-Duque and Petar Iliev

View Details


Volume :

Approaches of Linear Operators in the Intuitionistic Fuzzy 2-Banach Spaces

Vatan Karakaya and Müzeyyen Ertürk

View Details


Volume :

Adams' P-validity in the Research on Human Reasoning

Gernot D Kleiter

Received 5 July 2016

View Details





© 2005–2024 College Publications / VFH webmaster