Searching for "Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
by Samuli Heilala, Brigitte Pientka
…Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4 Samuli…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB