About
Log in
Log in?
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
DTU Findit
DTU
Close advanced
{{problem}}
By field
Using AND/OR
By author
This tool can help you build boolean queries suitable for doing a broad search for different synonyms or spellings of each word. Start via the drop-down below or just start typing in the search field.
{{ row.typeTitle }}:
(
)
Author:
Hansen
remove
Interpreted as:
title:(Many-Valued AND Hybrid AND Logic)
Suggestions: Include records that partially match the query
Previous
1
-
2
of
2
Next
1
Journal article
Many-valued hybrid logic 10.1093/logcom/exv040
Journal of Logic and Computation — 2018, Volume 28, Issue 5, pp. 883-908
In this article we define a family of many-valued semantics for hybrid logic, where each semantics is based on a finite Heyting algebra of truth-values. We provide sound and complete tableau systems for these semantics. Moreover, we show how the tableau systems can be made terminating and thereby
Year: 2018
Language: English
2
Conference paper
Advances in Modal Logic — 2008, pp. 111-132
Year: 2008
Language: English
