English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  Resolution in modal, description and hybrid logic

Areces, C., de Rijke, M., & de Nivelle, H. (2001). Resolution in modal, description and hybrid logic. Journal of Logic and Computation, 11, 717-736.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Areces, Carlos, Author
de Rijke, Maarten, Author
de Nivelle, Hans1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2003-09-012001
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: Peer
 Identifiers: eDoc: 202115
Other: Local-ID: C1256104005ECAFC-A98D062B6D5E6E9D00256D20004EEDCC-ArecesRijkeNivelle02
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Journal of Logic and Computation
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 11 Sequence Number: - Start / End Page: 717 - 736 Identifier: ISSN: 0955-792X