Searching for "A Completeness Theorem in Modal Logic." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Combining Logic Systems: Why, how, what for?
by C. Sernadas, C. Sernadas, Is Given — 2003 — CIM Bulletin
… theorem for modal logic.) A more direct approach would be to take as models the ordered algebras induced…
Cited by 1 (1 self) – Add To MetaCart

Fibring logics: Past, present and future
by C. Caleiro, A. Sernadas, C. Sernadas — 2005 — We Will Show Them: Essays in Honour of Dov Gabbay, Volume One
… structure was proposed in [van Benthem, 1983] in order to obtain a completeness theorem for modal logic. A…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 2.

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