Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Journal of Logic, Language and Information

Issue 3/2005

Content (7 Articles)

Editorial

Natasha Alechina

Guards, Bounds, and Generalized Semantics

Johan van Benthem

Guarded Fragments with Constants

Balder ten Cate, Massimo Franceschet

Deciding Regular Grammar Logics with Converse Through First-Order Logic

Stéphane Demri, Hans De Nivelle

The Semijoin Algebra and the Guarded Fragment

Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche

A Guarded Fragment for Abstract State Machines

Antje Nowack

Complexity of the Two-Variable Fragment with Counting Quantifiers

Ian Pratt-Hartmann

Mar 05
Issue: 2/2005
Oct 05
Issue: 4/2005

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits