Browse
We’re here to help

Find guidance on Author Services

Login | Register

Login
Register

Cart Add to Cart

Search
Browse
We’re here to help

Find guidance on Author Services

Home
All Journals
Journal of Applied Non-Classical Logics
List of Issues
Volume 16, Issue 3-4

Journal of Applied Non-Classical Logics

Search in:

Advanced search Citation search

Citation search

Ready to submit?
Start a new submission or continue a submission in progress
Go to submission site
Instructions for authors
Editorial policies
Editing services site

Journal metrics
Aims & scope
Journal information
Editorial board
News & calls for papers
Advertising information

Latest articles
Current issue
All volumes & issues
Special issues
Open access articles
Most read articles
Most cited articles

New content alerts
RSS

Subscription options & pricing

Buy a subscription

Your download is now in progress and you may close this window

Did you know that with a free Taylor & Francis Online account you can gain access to the following benefits?

Choose new content alerts to be informed about new research of interest to you
Easy remote access to your institution's subscriptions on any device, from any location
Save your searches and schedule alerts to send you new results
Export your search results into a .csv file to support your research

Have an account?
Login now Don't have an account?
Register for free

Login or register to access this feature

Have an account?
Login now Don't have an account?
Register for free

Register a free Taylor & Francis Online account today to boost your research and gain these benefits:

Choose new content alerts to be informed about new research of interest to you
Easy remote access to your institution's subscriptions on any device, from any location
Save your searches and schedule alerts to send you new results
Export your search results into a .csv file to support your research

Register now or learn more

Journal of Applied Non-Classical Logics, Volume 16, Issue 3-4 (2006)

Browse this journal

Latest articles
Current issue
List of issues
Special issues
Open access articles
Most read articles
Most cited articles

Sample our Humanities journals, sign in here to start your FREE access for 14 days

Journal of Applied Non-Classical Logics, Volume 16, Issue 3-4 (2006)

See all volumes and issues

Vol 34, 2024 Vol 33, 2023 Vol 32, 2022 Vol 31, 2021 Vol 30, 2020 Vol 29, 2019 Vol 28, 2018 Vol 27, 2017 Vol 26, 2016 Vol 25, 2015 Vol 24, 2014 Vol 23, 2013 Vol 22, 2012 Vol 21, 2011 Vol 20, 2010 Vol 19, 2009 Vol 18, 2008 Vol 17, 2007 Volume 16, 2006 Vol 15, 2005 Vol 14, 2004 Vol 13, 2003 Vol 12, 2002 Vol 11, 2001 Vol 10, 2000 Vol 9, 1999 Vol 8, 1998 Vol 7, 1997 Vol 6, 1996 Vol 5, 1995 Vol 4, 1994 Vol 3, 1993 Vol 2, 1992 Vol 1, 1991

Select to download all citations or PDFs

Download citations Download PDFs Download issue

Browse by section (All)

Display order (Default)
Published online date
Page number
Section A-Z
Most read
Most cited

Preface

Introduction

Foreword

Ewa Orlowska, Alberto Policriti & Andrzej Szalas

Pages: 249-250

Published online: 13 Apr 2012

CitationforForeword | PDF (19.5 KB)

12 Views
0 CrossRef citations
0Altmetric

Original Articles

Article

Relational dual tableaux for interval temporal logics ★

Davide Bresolin, Joanna Golińska-Pilarek & Ewa Orlowska

Pages: 251-277

Published online: 13 Apr 2012

AbstractforRelational dual tableaux for interval temporal logics ★ | References | PDF (213.3 KB)

28 Views
8 CrossRef citations
0Altmetric

Article

On the strength and scope of DLS

Willem Conradie

Pages: 279-296

Published online: 13 Apr 2012

AbstractforOn the strength and scope of DLS | References | PDF (148.6 KB)

35 Views
7 CrossRef citations
0Altmetric

Article

μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★

Giovanna D'Agostino, Giacomo Lenzi & Tim French

Pages: 297-309

Published online: 13 Apr 2012

Abstractforμ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★ | References | PDF (118.1 KB)

41 Views
1 CrossRef citations
0Altmetric

Article

Linear-time temporal logics with Presburger constraints: an overview ★

Stéphane Demri

Pages: 311-347

Published online: 13 Apr 2012

AbstractforLinear-time temporal logics with Presburger constraints: an overview ★ | References | PDF (314.5 KB)

48 Views
11 CrossRef citations
0Altmetric

Article

The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★

Leo Esakia

Pages: 349-366

Published online: 13 Apr 2012

AbstractforThe modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ | References | PDF (153.2 KB)

170 Views
24 CrossRef citations
0Altmetric

Article

An efficient relational deductive system for propositional non-classical logics

Andrea Formisano & Marianna Nicolosi-Asmundo

Pages: 367-408

Published online: 13 Apr 2012

AbstractforAn efficient relational deductive system for propositional non-classical logics | References | PDF (426.4 KB)

37 Views
11 CrossRef citations
0Altmetric

Article

Relational proof systems for spatial reasoning ★

Joanna Golińska-Pilarek & Ewa Orlowska

Pages: 409-431

Published online: 13 Apr 2012

AbstractforRelational proof systems for spatial reasoning ★ | References | PDF (162.6 KB)

28 Views
1 CrossRef citations
0Altmetric

Article

On the relationships between theories of time granularity and the monadic second-order theory of one successor

Angelo Montanari, Adriano Peron & Gabriele Puppis

Pages: 433-455

Published online: 13 Apr 2012

AbstractforOn the relationships between theories of time granularity and the monadic second-order theory of one successor | References | PDF (206.3 KB)

20 Views
0 CrossRef citations
0Altmetric

Article

Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras

Dimitri Pataraia

Pages: 457-483

Published online: 13 Apr 2012

AbstractforDescription of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras | References | PDF (212.5 KB)

23 Views
1 CrossRef citations
0Altmetric

Article

Fuzzy modal-like approximation operators based on double residuated lattices

Anna Maria Radzikowska

Pages: 485-506

Published online: 13 Apr 2012

AbstractforFuzzy modal-like approximation operators based on double residuated lattices | References | PDF (160.1 KB)

42 Views
2 CrossRef citations
0Altmetric

Article

Automatic checking properties of non-classical logics

Pavel Schreiner

Pages: 507-516

Published online: 13 Apr 2012

AbstractforAutomatic checking properties of non-classical logics | References | PDF (75.2 KB)

20 Views
0 CrossRef citations
0Altmetric

Article

Second-order reasoning in description logics

Andrzej Szalas

Pages: 517-530

Published online: 13 Apr 2012

AbstractforSecond-order reasoning in description logics | References | PDF (116.7 KB)

76 Views
5 CrossRef citations
0Altmetric

Explore articles

Latest
Open access
Most read
Most cited
Trending

Explore the most recently published articles

Multilattice as the set of truth values for fuzzy rough sets

G. Nguepy Dongmo et al.

Article | Published online: 5 Jul 2024

Truth diagrams for some non-classical and modal logics

Can Başkent

Article | Published online: 4 Jul 2024

Expanding logical space; making room for Islamic theological contradictions

Abbas Ahsan

Article | Published online: 26 Jun 2024

Matrix characterisation of the hierarchy FiCⁿ of bivaluated logics

Víctor Fernández et al.

Article | Published online: 24 Jun 2024

View all latest articles

Download citations

Choose format

RIS (ProCit, Reference Manager)
BibTeX
RefWorks Direct Export

Download citations

Journal of Applied Non-Classical Logics (Vol.16, Iss.3-4, 2006)

Access Rights

Only articles that you have access rights to view will be downloaded. The green tick (full access) and orange padlock (open access) icons indicate that you have full access.

Do you want to proceed?