Sequent calculi and decidability for intuitionistic hybrid logic: Intuitionistic Modal Logic and Applications (IMLA 2008)

Saved in:
Bibliographic Details
Published in:Information and computation 2011, Vol.209 (12), p.1447-1463
Main Authors: GALMICHE, Didier, SALHI, Yakoub
Format: Article
Language:English
Subjects:
Applied sciences
Artificial intelligence
Computer science
control theory
systems
Exact sciences and technology
General logic
Learning and adaptive systems
Logic and foundations
Mathematical logic, foundations, set theory
Mathematics
Miscellaneous
Proof theory and constructive mathematics
Sciences and techniques of general use
Theoretical computing
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0890-5401
1090-2651