Complexity of finite-variable fragments M of EXPTIME-complete logics

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

Authors: Mikhail Rybakov

Definable fixed points in modal and temporal logics : A survey

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

Authors: Sergey Mardaev

On Priest's logic of paradox

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

Authors: Alexej P. Pynko

Algebraic semantics for propositional superposition logic

JOURNAL ARTICLE published 1 October 2020 in Journal of Applied Non-Classical Logics

Authors: Athanassios Tzouvaras

A new framework for justification logic

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

Authors: Alessandro Giordani

Non-Archimedean fuzzy and probability logic

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

Authors: Andrew Schumann

The logic of modal changes LMC

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

Authors: Marcin Łyczak

A logic for extensional protocols

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

Authors: Ben Rodenhäuser

Chapter 27 Harrop's principle for constructive logic

BOOK CHAPTER published 31 December 2005 in Classical and Nonclassical Logics

Chapter 5 English and informal classical logic

BOOK CHAPTER published 31 December 2005 in Classical and Nonclassical Logics

Variable Domain Modal Logics

BOOK CHAPTER published 10 April 2008 in An Introduction to Non-Classical Logic

Constant Domain Modal Logics

BOOK CHAPTER published 10 April 2008 in An Introduction to Non-Classical Logic

Non-normal Modal Logics

BOOK CHAPTER published 10 April 2008 in An Introduction to Non-Classical Logic

Substitution inconsistencies in Transparent Intensional Logic

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

Research funded by VEGA (grant number 2/0117/19 Logic, Epistemology, and Metaphysics of Fiction.)

Authors: Miloš Kosterec

First-order frames for orthomodular quantum logic

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

Authors: Chrysafis Hartonas

Frame problem in dynamic logic

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

Authors: Dongmo Zhang | Norman Foo

Quantificational modal logic with sequential Kripke semantics

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

Authors: Stefano Borgo

In defence of a logic for ‘because’

JOURNAL ARTICLE published 2 April 2016 in Journal of Applied Non-Classical Logics

Research funded by BWF (Title: Welt der Gründe) | SNF (CRSII1_147685)

Authors: B. Schnieder

A comment on relevant truth table logic

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

Authors: Chris Brink

Herbrand style proof procedures for modal logic

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

Authors: Marta Cialdea