default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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, Abdul Sattar:
Editors' introduction. 117-118 - Philippe Balbiani, Jean-François Condotta, Gérard Ligozat:
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, Guido Sciavicco:
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, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger:
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, Serge Autexier:
Computer supported mathematics with Omegamega. 533-559 - Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine:
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 2025-12-09 00:13 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:
