College Publications logo   College Publications title  
View Basket
Homepage Contact page
   
 
AiML
Algorithmics
Cadernos de Lógica e Computação
Cadernos de Lógica e Filosofia
Cahiers de Logique et d'Epistemologie
Communication, Mind and Language
Computing
Cuadernos de lógica, Epistemología y Lenguaje
DEON
Dialogues
Economics
Encyclopaedia of Logic
Filosofia
Handbooks
IfColog series in Computational Logic
IfColog Lecture series
IfColog Proceedings
Journals
Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications
About
Editorial Board
Scope of the Journal
Submissions
Forthcoming papers
Law and Society
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
Systems
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 :

Strengthening Gossip Protocols using Protocol-Dependent Knowledge

Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kouijer 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–2018 College Publications / VFH webmaster