default search action

combined dblp search
author search
venue search
publication search

ask others

Logic Journal of the IGPL, Volume 4, 1996

> Home > Journals > Logic Journal of the IGPL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 4, Number 1, February 1996

- view
  authority control:
- export record
  dblp key:
  - journals/igpl/AmatiAGP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/AmatiAGP96
Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri:
A Structural Property on Modal Frames Characterizing Default Logic. 7-22
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Bennett96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Bennett96
Brandon Bennett:
Modal Logics for Qualitative Spatial Reasoning. 23-45
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/GrosseK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/GrosseK96
Gerd Große, Hesham Khalil:
State Event Logic. 47-74
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Kreitz96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Kreitz96
Christoph Kreitz:
Formal Mathematics for Verifiably Correct Program Synthesis. 75-94
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/MayerP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/MayerP96
Marta Cialdea Mayer, Fiora Pirri:
Abduction is not Deduction-in-Reverse. 95-108
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Ohlbach96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Ohlbach96
Hans Jürgen Ohlbach:
Computer Support for the Development and Investigation of Logics. 109-127
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/PittC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/PittC96
Jeremy Pitt, Jim Cunningham:
Theorem Proving and Model Building with the Calculus KE. 129-150

Volume 4, Number 2, March 1996

Ruy de Queiroz (Ed.): 2nd Workshop on Logic, Language, Information and Computation, International Conference, WoLLIC 1995, Recife, PE, Brazil, Muly 26 - 28, 1995

- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Pavlovic96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Pavlovic96
Dusko Pavlovic:
Maps II: Chasing Diagrams in Categorical Proof Theory. 159-194
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/KamareddineL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/KamareddineL96
Fairouz Kamareddine, Twan Laan:
A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths. 195-213
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/MegillB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/MegillB96
Norman D. Megill, Martin W. Bunder:
Weaker D-Complete Logics. 215-225
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/RaedtL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/RaedtL96
Luc De Raedt, Nada Lavrac:
Multiple Predicate Learning in Two Inductive Logic Programming Settings. 227-254
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/BarringerGBGHHOMRF96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/BarringerGBGHHOMRF96
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
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Surendonk96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Surendonk96
Timothy J. Surendonk:
A Non-Standard Injection Between Canonical Frames. 273-282
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Williamson96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Williamson96
Timothy Williamson:
Some Admissible Rules in Modal Systems with the Brouwerian Axiom. 283-303
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Wansing96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Wansing96
Heinrich Wansing:
Reviews. 305-308
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Queiroz96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Queiroz96
Ruy J. G. B. de Queiroz:
Second Workshop on Logic, Language, Information and Computation (WoLLIC'95). 309-344

Volume 4, Number 3, June 1996

Ruy de Queiroz (Ed.): 3rd Workshop on Logic, Language, Information and Computation, International Conference, WoLLIC 1996, Salvador, BA, Brazil, May 8 - 10, 1996

- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Cunningham96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Cunningham96
Jim Cunningham:
Editorial. 353
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/BornscheuerT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/BornscheuerT96
Sven-Erik Bornscheuer, Michael Thielscher:
Representing Concurrent Actions and Solving Conflicts. 355-368
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/DemolombeJ96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/DemolombeJ96
Robert Demolombe, Andrew J. I. Jones:
Integrity Constraints Revisited. 369-383
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/GabbayGMO96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/GabbayGMO96
Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
A Language for Handling Hypothetical Updates and Inconsistency. 385-416
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Gasquet96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Gasquet96
Olivier Gasquet:
Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics. 417-426
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/JonesS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/JonesS96
Andrew J. I. Jones, Marek J. Sergot:
A Formal Characterisation of Institutionalised Power. 427-443
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/PfalzgrafSS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/PfalzgrafSS96
Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans:
Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios. 445-472
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Queiroz96a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Queiroz96a
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.