default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Non-Classical Logics, Volume 16
Volume 16, Number 1-2, 2006
- Kamal Aboul-Hosn, Dexter Kozen:
KAT-ML: an interactive theorem prover for Kleene algebra with tests. 9-34 - Tomi Janhunen:
Some (in)translatability results for normal logic programs and propositional theories. 35-86 - Patrick Doherty, Martin Magnusson, Andrzej Szalas
:
Approximate databases: a support tool for approximate reasoning. 87-118 - Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine:
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi. 119-150 - Mircea Marin, Temur Kutsia:
Foundations of the rule-based system rLog. 151-168 - Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi:
BDD-based decision procedures for the modal logic K. 169-208 - 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
- Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska:
Relational dual tableaux for interval temporal logics. 251-278 - Willem Conradie:
On the strength and scope of DLS. 279-296 - Giovanna D'Agostino, Giacomo Lenzi, Tim French:
µ-programs, uniform interpolation and bisimulation quantifiers for modal logics. 297-310 - Stéphane Demri:
Linear-time temporal logics with Presburger constraints: an overview. 311-348 - Leo Esakia:
The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic. 349-366 - Andrea Formisano, Marianna Nicolosi Asmundo:
An efficient relational deductive system for propositional non-classical logics. 367-408 - Joanna Golinska-Pilarek, Ewa Orlowska:
Relational proof systems for spatial reasoning. 409-432 - 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 - Dito Pataraia:
Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras. 457-484 - Anna Maria Radzikowska:
Fuzzy modal-like approximation operators based on double residuated lattices. 485-506 - P. Schreiner:
Automatic checking properties of non-classical logics. 507-516 - 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.
last updated on 2026-05-12 22:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
