MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Intuitionistic hybrid logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Towards constructive hybrid logic (extended abstract
by Valeria De Paiva — 2003 — In Elec. Proc. of Methods for Modalities 3
… logic, intuitionistic logic, natural deduction. 1 Introduction This paper discusses constructive hybrid…
Cited by 5 (0 self) – Add To MetaCart

editors. Methods for Modalities 3
by Carlos Areces — 2003
… hybrid logic” by Braüner and de Paiva. Continuing with the topic of intuitionistic modal logics…
Cited by 1 (1 self) – Add To MetaCart

A complete temporal and spatial logic for distributed systems
by Dirk Pattinson, Bernhard Reus — 2005 — In Frontiers of Combining Systems (FroCoS), volume 3717 of LNAI
… is not addressed there. An intuitionistic hybrid logic is investigated in [10] including a completeness result…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB