default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Applied Non-Classical Logics, Volume 16

> Home > Journals > Journal of Applied Non-Classical Logics

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 16, Number 1-2, 2006

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Aboul-HosnK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Aboul-HosnK06
Kamal Aboul-Hosn, Dexter Kozen:
KAT-ML: an interactive theorem prover for Kleene algebra with tests. 9-34
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Janhunen06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Janhunen06
Tomi Janhunen:
Some (in)translatability results for normal logic programs and propositional theories. 35-86
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/DohertyMS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/DohertyMS06
Patrick Doherty, Martin Magnusson, Andrzej Szalas:
Approximate databases: a support tool for approximate reasoning. 87-118
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/MouraAK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/MouraAK06
Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine:
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi. 119-150
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/MarinK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/MarinK06
Mircea Marin, Temur Kutsia:
Foundations of the rule-based system rLog. 151-168
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/PanSV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/PanSV06
Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi:
BDD-based decision procedures for the modal logic K. 169-208
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Schmidt-Samoa06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Schmidt-Samoa06
Tobias Schmidt-Samoa:
Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous. 209-239

Volume 16, Numbers 3-4, 2006

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/BresolinGO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/BresolinGO06
Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska:
Relational dual tableaux for interval temporal logics. 251-278
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Conradie06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Conradie06
Willem Conradie:
On the strength and scope of DLS. 279-296
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/DAgostinoLF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/DAgostinoLF06
Giovanna D'Agostino, Giacomo Lenzi, Tim French:
µ-programs, uniform interpolation and bisimulation quantifiers for modal logics. 297-310
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Demri06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Demri06
Stéphane Demri:
Linear-time temporal logics with Presburger constraints: an overview. 311-348
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Esakia06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Esakia06
Leo Esakia:
The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic. 349-366
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/FormisanoA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/FormisanoA06
Andrea Formisano, Marianna Nicolosi Asmundo:
An efficient relational deductive system for propositional non-classical logics. 367-408
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Golinska-PilarekO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Golinska-PilarekO06
Joanna Golinska-Pilarek, Ewa Orlowska:
Relational proof systems for spatial reasoning. 409-432
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/MontanariPP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/MontanariPP06
Angelo Montanari, Adriano Peron, Gabriele Puppis:
On the relationships between theories of time granularity and the monadic second-order theory of one successor. 433-456
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Pataraia06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Pataraia06
Dito Pataraia:
Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras. 457-484
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Radzikowska06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Radzikowska06
Anna Maria Radzikowska:
Fuzzy modal-like approximation operators based on double residuated lattices. 485-506
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Schreiner06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Schreiner06
P. Schreiner:
Automatic checking properties of non-classical logics. 507-516
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Szalas06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Szalas06
Andrzej Szalas:
Second-order reasoning in description logics. 517-530

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.