default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 4, 1996
Volume 4, Number 1, February 1996
- Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri:
A Structural Property on Modal Frames Characterizing Default Logic. 7-22 - Brandon Bennett:
Modal Logics for Qualitative Spatial Reasoning. 23-45 - Gerd Große, Hesham Khalil:
State Event Logic. 47-74 - Christoph Kreitz:
Formal Mathematics for Verifiably Correct Program Synthesis. 75-94 - Marta Cialdea Mayer, Fiora Pirri:
Abduction is not Deduction-in-Reverse. 95-108 - Hans Jürgen Ohlbach:
Computer Support for the Development and Investigation of Logics. 109-127 - Jeremy Pitt, Jim Cunningham:
Theorem Proving and Model Building with the Calculus KE. 129-150
Volume 4, Number 2, March 1996
- Dusko Pavlovic:
Maps II: Chasing Diagrams in Categorical Proof Theory. 159-194 - Fairouz Kamareddine, Twan Laan:
A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths. 195-213 - Norman D. Megill, Martin W. Bunder:
Weaker D-Complete Logics. 215-225 - Luc De Raedt
, Nada Lavrac:
Multiple Predicate Learning in Two Inductive Logic Programming Settings. 227-254 - Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher:
Languages, Meta-languages and METATEM, A Discussion Paper. 255-272 - Timothy J. Surendonk:
A Non-Standard Injection Between Canonical Frames. 273-282 - Timothy Williamson:
Some Admissible Rules in Modal Systems with the Brouwerian Axiom. 283-303 - Heinrich Wansing:
Reviews. 305-308 - Ruy J. G. B. de Queiroz:
Second Workshop on Logic, Language, Information and Computation (WoLLIC'95). 309-344
Volume 4, Number 3, June 1996
- Jim Cunningham:
Editorial. 353 - Sven-Erik Bornscheuer, Michael Thielscher:
Representing Concurrent Actions and Solving Conflicts. 355-368 - Robert Demolombe, Andrew J. I. Jones:
Integrity Constraints Revisited. 369-383 - Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
A Language for Handling Hypothetical Updates and Inconsistency. 385-416 - Olivier Gasquet:
Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics. 417-426 - Andrew J. I. Jones, Marek J. Sergot:
A Formal Characterisation of Institutionalised Power. 427-443 - Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans:
Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios. 445-472 - Ruy J. G. B. de Queiroz:
Conferences. 473-527
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-02-21 19:36 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:
