Intuitionistic hybrid logic: Introduction and survey

Authors:
Torben Braüner
Affiliations:
Programming, Logic and Intelligent Systems Research Group, Roskilde University, P.O. Box 260, DK-4000 Roskilde, Denmark
Venue:
Information and Computation
Year:
2011

Citing 8
Cited 0

Proofs and types

Proofs and types
Many-valued modal logics II

Fundamenta Informaticae - Special issue on modal logics in knowledge representation
A Symmetric Modal Lambda Calculus for Distributed Computing

LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Natural Deduction for First-Order Hybrid Logic

Journal of Logic, Language and Information
Natural Deduction for Hybrid Logic

Journal of Logic and Computation
Axioms for classical, intuitionistic, and paraconsistent hybrid logic

Journal of Logic, Language and Information
A Hybrid Intuitionistic Logic: Semantics and Decidability

Journal of Logic and Computation
Sequent calculi and decidability for intuitionistic hybrid logic

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area.