Tableaux for Logics of Subinterval Structures over Dense Orderings

Title
Tableaux for Logics of Subinterval Structures over Dense Orderings
Authors
Keywords
-
Journal
JOURNAL OF LOGIC AND COMPUTATION
Volume 20, Issue 1, Pages 133-166
Publisher
Oxford University Press (OUP)
Online
2008-12-25
DOI
10.1093/logcom/exn063

Ask authors/readers for more resources

Find Funding. Review Successful Grants.

Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.

Explore

Ask a Question. Answer a Question.

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started