List of Published Volumes| Home | Editorial board | Submission | Subscribe | Volumes | Restricted access |
List of Published Volumes
Abstracts
Temporal logics with reference pointers and computation tree logics -Valentin Goranko
A temporal negative normal form which preserves implicants and
implicates - Inma P. de Guzman, Manuel Encisco, Pablo Cordero
A multimodal logic for reasoning about complementarity -Ivo Düntsch, Beata Konikowska
On representability of neatly embeddable cylindric algebras -Miklos
Ferenczi
HL2, an Inconsistency-adaptive and
Inconsistency-resolving Logic for General Statements that might have
Exceptions -Guido Vanackere
A framework for iterated revision -Konieczny, R. Pino Perez
A complete system of four-valued logic -P.H. Rodenburg
Unification and passive inference rules for modal
logics -V.V. Rybakov, M. Terziler and C. Gencer
Abstracts
On theorem proving in annotated logics - Mi Lu, Jinzhao Wu
SAT vs. translation based decision procedures for modal logics:
a comparative evaluation - Enrico Giunchiglia, Fausto Giunchiglia, Roberto
Sebastiani, Armando Tacchella
Triangular Logic of Partial Toposes - Adam Obtulowic
Abstracts
Specification of nonmonotonic reasoning -Joeri Engelfriet,
Jan Treur
Process Algebra with Four-Valued Logic - Jan A. Bergstra,
Alban Ponse
Evidence theory in multivalued models of modal logic - Elena
Tsiporkova, Bernard De Baets, Veselka Boeva
Regular bilattices -Alexej P. Pynko
Structure of left-continuous triangular norms
with strong induced negations - Sàndor Jenei
Abstracts
Higher Order Multi-Valued Resolution - Michael Kohlhase, Ortwin Scheja
An empirical analysis of modal theorem provers - Ullrich Hustadt, Renate A. Schmidt
Inequality without irreflexivity
- Philippe Balbiani
Abstracts
Special Issue dedicated to the memory of George Gargov
Guest editor:
Dimiter Vakarelov
Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond - G. Gargov
Realization of Intuitionistic Logic by Proof Polynomials - S. N. Artemov
A hierarchy of modal logics with relative accessibility relations
- P. Balbiani, E. Orlowska
Barcan Both Ways - M. Fitting
Hyperboolean Algebras and Hyperboolean Modal Logic - V. Goranko, D. Vakarelov
``Everywhere'' and ``Here'' - V. Shehtman
Remark on a finite axiomatization of finite intermediate
propositional logics - D. Skvortsov
Arithmetizations of Syllogistic
The Range of Modal Logic - J. van Benthem
Abstracts
Special Issue: Multi-valued Logics
Guest editor: Walter Carnielli
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras - Àngel J. Gil, Jordi Rebagliato and Ventura Verdú
Fuzzy inference as deduction - Lluís Godo and Peter Hàjek
Functional completeness and axiomatizability within Belnap's four valued logic and its expansions
- Alexej P. Pynko
Some operations in Kripke models with an involution
- Adriana Galli and Marta Sagastume
Many-valued logics and translations
- M. L. D'Ottaviano and Hércules A. Feitosa
Varieties of MV-algebras
- Giovanni Panti
Perfect MV-algebras and l-rings
- Lawrence Peter Belluce, Antonio Di Nola and George Georgescu
Free double Ockham algebras
- Manuel Abad and J.\ Patricio Díaz Varela
Abstracts
Calendar Logic - Hans Jürgen Ohlbach and Dov Gabbay
Complete axiomatization of a relative modal logic with composition and intersection - Philippe Balbiani and Luis Fariñas del Cerro
Paraconsistent Logical Consequence
- Dale Jacquette
An Algebraic Method to Decide the Deduction Problem
in Many-Valued Logics
- Jinzhao Wu, Hongyan Tan and Yongli Li
Abstracts
An Algorithmic Logic Approach to Formalizing Database Update Semantics - James Brawner and James Vorbach
A Plea for Accuracy - Sven Ove Hansson and Hans Rott
A Tableau-Based Proof Method for Temporal Logics of Knowledge and
Belief
- Michael Wooldridge, Clare Dixon and Michael Fisher
The modal multilogic of geometry
- Philippe Balbiani
Abstracts
Special Issue dedicate to the memory of Helena Rasiowa
Guest editor: Ewa Orlowska
Calculus of Contextual Rough Sets in Contextual Spaces -
Edward Bryniarski, Urszula Wybraniec-Skardowska
Keywords: Generalized approximation spaces, approximating
operations and sequences, rough sets, contextual rough
sets, operations on rough sets and contextual rough sets, inclusion of two contextual rough sets
Equational Reasoning in Non--Classical Logics -
Marcelo Frias, Ewa Orlowska
Interpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic -
Judit X. Madarász
Computational semantics for monadic quantifiers - Marcin Mostowski
A shell for generic interactive proof search - Aleksey Novodvorsky, Aleksey Smirnov
Keywords: Inference, Unificaion, Interactive proof search
Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic - Regimantas Pliuskevicius
Keywords: Proof Theory of a Linear Temporal Logic, Sequent and Resolution Calculi
The Trivial Object and the Non-Triviality of a Semantically Closed Theory with Descriptions - Graham Priest
Keywords: Non-Triviality, Denotation, Description
Abstracts
Nonmonotonic Reasoning Based on Incomplete Logic -
Tuan-Fang Fan, I-Peng Lin, Churn-Jung Liau
Towards a classification of Default Logics - Thomas Linke, Torsten Schaub
Abstracts
Some Considerations on the Logic PFD~ - Wiebe van der Hoeck
Local Possibilistic Logic - Luca Boldrin, Claudio Sossai
Quantifiers, modifiers and qualifiers in fuzzy logic
- Mingsheng Ying, Bernadette Bouchon-Meunier
Knowledge Representation as Domains
- Alexei Yu. Muravitsky
Abstracts
Special Issue: Handling Inconsistency in Knowledge Systems (Volume 2)
Guest editor: Gerd Wagner
See
also this.
Semi-Revision (invited paper) - Sven-Ove
Hansson
On Knowledge Evolution: Acquisition, Revision, Contraction
- Eliezer L. Lozinskii
Nonmonotonic Reasoning and Belief Revision: Syntactic, Semantic,
Foundational, and Coherence Approaches - Alvaro del Val
On Having Bad Contractions (invited paper) -
Neil Tennant
Abstracts
Special Issue: Handling Inconsistency in Knowledge Systems (Volume 1)
Guest editor: Gerd Wagner
More
information.
Sources of, and Exploiting, Inconsistency: Preliminary Report
- Don Perlis
Argument-Based Extended Logic Programming with Defeasible
Priorities - Henry Prakken and Giovanni Sartor
Knowledge Assimilation in Domains of Actions: A Possible Causes
Approach - Renwei Li and Luís Moniz Pereira
Minimal and Consistent Evolution of Knowledge Bases -
Jorge Lobo and Goce Trajcevski
Abstracts
Many-dimensional arrow logics - Dimiter
Vakarelov
Expressive Completeness of Modal Logic on Binary Ramified
Frames - Bernhard Heinemann
Graded Consequence Relations and Fuzzy Closure Operators
- Giangiacomo Gerla
Abstracts
A Framework for Knowledge-Based Systems - Alexei
Yu. Muravitsky
Plausible Reasoning: A First-Order Approach -
Silvana Badaloni, Alberto Zanardo
Review of Witold Marciszewski and Roman Murawski: Mechanization
of Reasoning in a Historical Perspective - Ricardo
Caferra
Review of Stephen Muggleton, Ed.:Inductive Logic Programming
- Bradley Richards
Review of Walter P. van Stigt:Brouwer's Intuitionism -
Yaroslav Shramko
Abstracts
A Fugue on the Themes of Awareness Logic and Correspondence
- Elias Thijsse, Heinrich Wansing
The Universe of Discourse of Modal Logic - Anne
Preller
A Three-Valued Approach to Default Logic - Anna
Radzikowska
Keywords:
On Representation of Indeterminate Identity via Vague
Concepts - M. K. Chakraborty, A. Chatterjee
Keywords: Fuzzy set, Vague concept, Inderterminate identity,
Lattice structure, Fuzzy relation, Saturatedness
Abstracts
Special Issue: 1993 AAAI Fall Symposium on
Automated Deduction in Non-Standard Logics
Guest editors: Peter Jackson and Richard Scherl
Automated Inference in Active Logics - Michael
Miller, Donald Perlis
Keywords: commonsense reasoning, active logic, object
misidentification
Automated Deduction in a Graphical Temporal Logic -
L.E. Moser, P.M. Melliar-Smith, Y.S. Ramakrishna, G. Kutty, L.K.
Dillon
Keywords: Automated Deduction, Büchi Automaton, Graphical
Representation, Interval Logic, Real-Time, Temporal Logic.
Exploiting Data Dependencies in Many-Valued Logics -
Reiner Hähnle
Keywords: many-valued logic, polarity, Horn formula, direct
products of structures, resolution, Davis-Putnam procedure
Analytic Tableaux for Default Logics - Vincent
Risch
Keywords: Default logic, Tableaux
A General-Purpose Defeasible Reasoner - John
L. Pollock
Abstracts
A Multi-Dimensional Terminological Knowledge Representation
Language - Franz Baader, Hans Jürgen Ohlbach
A propositional logic with 4 values: true, false, divergent and
meaningless - Jan A. Bergstra, Inge Bethke, Piet
Rodenburg
Keywords: 3-valued logic, 4-valued logic, axiomatics of
non-classical theories
1991 Mathematics Subject Classification: 03B50, 03B60, 03G10
On Priest's logic of paradox - Alexej P. Pynko
1991 Mathematics Subject Classification: 03B22, 03B53, 03G10, 06D30.
Graded Consequence: Further Studies - M. K.
Chakraborty
Temporal Theories of Reasoning - Joeri Engelfriet},
Jan Treur
Keywords:temporal logic, nonmonotonic reasoning, dynamics
of reasoning
Abstracts
Special Issue: JELIA'94
Guest editors: Luís Moniz Pereira and David Pearce
Editorial - Luís Moniz Pereira and David
Pearce
Increasing the efficiency of automated theorem proving
- Gabriel Aguilera, Inma P. de Guzmán, Manuel Ojeda
Belief, Provability, and Logic Programs - José
Júlio Alferes, Luís Moniz Pereira
Knowledge base dynamics, Abduction and Databases updates
- Phan Minh Dung, Chandrabose Aravindan
Keywords: epistemology, belief dynamics, rationality
postulates, abduction, databases, view updates
Uniform and Non Uniform Strategies for Tableaux Calculi for Modal
Logics - Stéphane Demri
Keywords:automated reasoning, modal logics, tableaux,
strategies
Temporal Theories of Reasoning - Joeri Engelfriet,
Jan Treur
Keywords:temporal logic, nonmonotonic reasoning, dynamics
of reasoning
Generalized Compactness of Nonmonotonic Inference Operations
- Heinrich Herre
Keywords:nonmonotonic inference, compactness, model
theory
Abstracts
Obituary - Helena Rasiowa
On an Automated Translation of Modal Proof Rules into Formulas of
the Classical Logic - Andrzej Szalas
Keywords:automated theorem proving, correspondence theory,
modal logics
Local and Global Metrics for the Semantics of Counterfactual
Conditionals - Karl Schlechta, David Makinson
On the Impact of Stratification on the Complexity of Nonmonotonic
Reasoning - Ilkka Niemelä, Jussi Rintanen
Keywords:automated theorem proving, tractability,
autoepistemic logic, default logic, nonmonotonic modal logics, logic programs,
truth maintenance systems.
Learning Categorial Grammar by Unification with Negative
Constraints - Jacek Marciniec, Adam Mickiewicz
Keywords: categorial grammar, unification, discovery
procedure.
On Monotonic Fuzzy Conditional - E. Trillas,
S. Cubillo
Keywords:Fuzzy Relations, Conditionals, Preorders, Monotonic
Relations and Non-Monotonic Relations.
Review of Leonard Bolc and Piotr Borowik:Many-valued Logics:
1. Theoretical Foundations - Petr Hájek,
Richard Zach
From points to intervals - Robin Hirsch
Actions on belief - Sam Steel
A translation from the modal logic of provability into K4
- Philippe Balbiani, Andreas Herzig
The W systems: between maximum entropy and minimal ranking
- Michael Freund
On consequence in approximate reasoning - J.
L. Castro, E. Trillas, S. Cubillo
Dynamic logic with program specifications and its relational proof
system - Ewa Orlowska
Note on a six-valued extension of three-valued logic -
Josep M. Font, Massoud Moussavi
A knowledge representation based on the Belnap's four-valued
logic - Yuri Kaluzhny, Alexei Yu. Muravitsky
Herbrand style proof procedures for modal logic -
Marta Cialdea
Observations on validity and conditionals in belief revision
systems - André Fuhrmann
Foundations of a theorem prover for functional and mathematical
uses - Javier Leach, Susana Nieva
Two over three: a two-valued logic for software specification and
validation over a three-valued predicate calculus - Beata
Konikowska
Modal logic based theory for non-monotonic reasoning -
Pierre Siegel, Camilla Schwind
Computation with run time skolemisation (N-Prolog part 3)
- D. M. Gabbay, U. Reyle
Decidability and incompleteness results for first-order temporal
logics of linear time - Stephan Merz
Expressive completeness of temporal logic of trees -
Bernd-Holger Schlingloff
A new algebraic semantic approach and some adequate connectives
for computation with temporal logic over discrete time -
Alfredo Burrieza, Inma P. de Guzmán
Handling database updates in two-dimensional temporal logic
- Marcelo Finger
Relevant logic as a basis for paraconsistent epistemic logics
- Gerson Zaverucha
A comment on relevant truth table logic - Chris
Brink
NML3. A Non-Monotonic Logic with Explicit Defaults -
Patrick Doherty, Witold Lukaszewicz
Reasoning under Inconsistent Knowledge - Walter
A. Carnielli, Mamede Lima-Marques
On the Semantics of Graded Modalities - Wiebe
Van der Hoek
Guest editors:
Michael R. B. Clarke, Christine Froidevaux, Eric Grégoire, Philippe
Smets
With the collaboration of:
Ph. Besnard, G. Brewka, J.-P. Delgrande, D. Dubois, P. Garbolino, P.
Gärdenfors, P. Gochet, D. Kayser, H. Kynurg, B. Marchal, R. Moore, G.
Paass, H. Prade, E. Ruspini, A. Saffiotti, P. Siegel, F. Veltman
Introduction
Quantified Uncertainty
Conditionals and Belief Revision
Non-Monotonicity
Rough Polyadic modal logics - D. Vakarelov
Two theories of time - Yunqing Lin
Results on infinite extensions - Karl
Schlechta
Temporal logics of "the next" do not have the Beth property
- Larissa Maksimova
A look at metrics and norms through the Lukasiewicz logic
- Maciej Wygralak
Contacts: Journal of Applied Non-Classical Logics, Webm@ster
Last update: September 1st, 2005