default search action
Journal of Applied Logic, Volume 4
Volume 4, Number 1, March 2006
- Michael Hoche, Peter Szabó:
Essential unifiers. 1-25 - Cláudio Adriano Policastro, André Carlos Ponce de Leon Ferreira de Carvalho
, Alexandre C. B. Delbem
Automatic knowledge learning and case adaptation with a hybrid committee approach. 26-38 - Martin Lange:
Model checking propositional dynamic logic with all extras. 39-49 - Clare Dixon
Using temporal logics of knowledge for specification and verification - a case study. 50-78 - Bruno Courcelle:
The monadic second-order logic of graphs XV: On a conjecture by D. Seese. 79-114
- Rolf Nossum:
Corrigendum to "A decidable multi-modal logic of context" [Journal of Applied Logic 1 (1-2) (2003) 119-133]. 115
Volume 4, Number 2, June 2006
- Mark Reynolds
Editors' introduction. 117-118 - Philippe Balbiani
On the consistency problem for the INDU calculus. 119-140 - Alexander Bolotov, Artie Basukoski:
A clausal resolution method for extended computation tree logic ECTL. 141-167 - Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
Definability and decidability of binary predicates for time granularity. 168-191 - Howard J. Hamilton, Liqiang Geng, Leah Findlater, Dee Jay Randall:
Efficient spatio-temporal data mining with GenSpace graphs. 192-214
Volume 4, Number 3, September 2006
- Carlos Areces
Methods for modalities 3. 215-217 - Natasha Alechina, Dmitry Shkatov
A general method for proving decidability of intuitionistic modal logics. 219-230 - Torben Braüner, Valeria de Paiva
Intuitionistic hybrid logic. 231-255 - Giovanna D'Agostino, Giacomo Lenzi
On modal mu-calculus with explicit interpolants. 256-278 - Massimo Franceschet, Maarten de Rijke:
Model checking hybrid logics (with an application to semistructured data). 279-304 - Valentin Goranko, Angelo Montanari, Pietro Sala
A general tableau method for propositional interval temporal logics: Theory and implementation. 305-330 - Mathis Kretz, Thomas Studer
Deduction chains for common knowledge. 331-357
Volume 4, Number 4, December 2006
- Christoph Benzmüller
Towards computer aided mathematics. 359-365 - Peter B. Andrews, Chad E. Brown:
TPS: A hybrid automatic-interactive system for developing proofs. 367-395 - Adam Naumowicz
An example of formalizing recent mathematical results in Mizar. 396-413 - Josef Urban:
MizarMode - an integrated proof assistance tool for the Mizar way of formalizing mathematics. 414-427 - Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran:
Innovations in computational type theory using Nuprl. 428-469 - Bruno Buchberger, Adrian Craciun
Theorema: Towards computer-aided mathematical theory exploration. 470-504 - Lucas Dixon, Jacques D. Fleuriot
A proof-centric approach to mathematical assistants. 505-532 - Jörg H. Siekmann, Christoph Benzmüller
Computer supported mathematics with Omegamega. 533-559 - Alexander V. Lyaletski
SAD as a mathematical assistant - how should we go from here to there? 560-591 - Claus Zinn
Supporting the formal verification of mathematical texts. 592-621 - Freek Wiedijk:
Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics. 622-645
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 2024-12-19 22:03 CET 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: