Search the dblp DataBase
Tomasz F. Skura: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Tomasz F. Skura
Intuitionistic Socratic procedures. [Citation Graph (0, 0)][DBLP]
Journal of Applied Non-Classical Logics, 2005, v:15, n:4, pp:453-464 [Journal] - Tomasz F. Skura
Rules and Refutation Rules for the Logic of Finite n-ary Trees. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 2004, v:14, n:3, pp:429-435 [Journal] - Tomasz F. Skura
Refutation Calculi for Certain Intermediate Proposittional Logics. [Citation Graph (0, 0)][DBLP]
Notre Dame Journal of Formal Logic, 1992, v:33, n:4, pp:552-560 [Journal] - Tomasz F. Skura
Syntactic Refutations against Finite Models in Modal Logic. [Citation Graph (0, 0)][DBLP]
Notre Dame Journal of Formal Logic, 1994, v:35, n:4, pp:595-605 [Journal] - Tomasz F. Skura
Refutations, Proofs, and Models in the Modal Logic K4. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2002, v:70, n:2, pp:193-204 [Journal] - Tomasz F. Skura
Some Aspects of Refutation Rules. [Citation Graph (0, 0)][DBLP]
Reports on Mathematical Logic, 1995, v:29, n:, pp:109-116 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002