Contingent modal semantics for some variants of Anderson-like ontological proofs

JOURNAL ARTICLE published January 2007 in Journal of Applied Non-Classical Logics

Authors: Miroslaw Szatkowski

Abduction in argumentation frameworks

JOURNAL ARTICLE published 3 July 2018 in Journal of Applied Non-Classical Logics

Authors: Chiaki Sakama

Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss

JOURNAL ARTICLE published 2 October 2018 in Journal of Applied Non-Classical Logics

Authors: Daniil Kozhemiachenko

Bon de Commande de Périodique

JOURNAL ARTICLE published January 1992 in Journal of Applied Non-Classical Logics

Foreword

JOURNAL ARTICLE published June 2012 in Journal of Applied Non-Classical Logics

Authors: Davide Grossi

Foreword

JOURNAL ARTICLE published January 2010 in Journal of Applied Non-Classical Logics

Authors: Philippe Balbiani | Luis Fariñas Del Cerro | Andreas Herzig

Modal logics of closed domains on Minkowski plane

JOURNAL ARTICLE published 23 September 2007 in Journal of Applied Non-Classical Logics

Authors: Ilia Shapirovsky

Interpreting an action from what we perceive and what we expect

JOURNAL ARTICLE published January 2007 in Journal of Applied Non-Classical Logics

Authors: Guillaume Aucher

BDD-based decision procedures for the modal logic K ★

JOURNAL ARTICLE published January 2006 in Journal of Applied Non-Classical Logics

Authors: Guoqiang Pan | Ulrike Sattler | Moshe Y. Vardi

Automated Puzzle Solving

JOURNAL ARTICLE published January 2002 in Journal of Applied Non-Classical Logics

Authors: László Aszalós

Search for syllogistic structure of semantic information

JOURNAL ARTICLE published June 2012 in Journal of Applied Non-Classical Logics

Authors: Marcin J. Schroeder

Adding clauses to poor man's logic (without increasing the complexity)

JOURNAL ARTICLE published January 2005 in Journal of Applied Non-Classical Logics

Authors: Peter Jonsson

Editorial Board

JOURNAL ARTICLE published January 2011 in Journal of Applied Non-Classical Logics

Index des auteurs du volume 4

JOURNAL ARTICLE published January 1994 in Journal of Applied Non-Classical Logics

Realization of Intuitionistic Logic by Proof Polynomials

JOURNAL ARTICLE published January 1999 in Journal of Applied Non-Classical Logics

Authors: Sergei N. Artemov

Computational Aspects of Quasi-Classical Entailment

JOURNAL ARTICLE published January 2001 in Journal of Applied Non-Classical Logics

Authors: Pierre Marquis | Nadège Porquet

A quantitative doxastic logic for probabilistic processes and applications to information-hiding

JOURNAL ARTICLE published January 2009 in Journal of Applied Non-Classical Logics

Authors: Simon Kramer | Catuscia Palamidessi | Roberto Segala | Andrea Turrini | Christelle Braun

A new proof of completeness for a relative modal logic with composition and intersection

JOURNAL ARTICLE published January 2001 in Journal of Applied Non-Classical Logics

Authors: Philippe Balbiani

Editorial Board

JOURNAL ARTICLE published January 1993 in Journal of Applied Non-Classical Logics

Relevant logic as a basis for paraconsistent epistemic logics

JOURNAL ARTICLE published January 1992 in Journal of Applied Non-Classical Logics

Authors: Gerson Zaverucha