Tomasz F. Skura

14 papers Journal 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D.
Stud Logica
Tomasz F. Skura
2023 J jnl
Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation.
Logica Universalis
Tomasz F. Skura
2017 J jnl
Refutations in Wansing's Logic.
Reports Math. Log.
Tomasz F. Skura
2011 J jnl
On Refutation Rules.
Logica Universalis
Tomasz F. Skura
2009 J jnl
A Refutation Theory.
Logica Universalis
Tomasz F. Skura
2005 J jnl
Intuitionistic Socratic procedures.
J. Appl. Non Class. Logics
Tomasz F. Skura
2004 J jnl
Maximality and Refutability.
Notre Dame J. Formal Log.
Tomasz F. Skura
2004 J jnl
Rules and Refutation Rules for the Logic of Finite n-ary Trees.
J. Log. Comput.
Tomasz F. Skura
2002 J jnl
Refutations, Proofs, and Models in the Modal Logic K4.
Stud Logica
Tomasz F. Skura
1995 J jnl
A Łukasiewicz-style refutation system for the modal logic S4.
J. Philos. Log.
Tomasz F. Skura
1995 J jnl
Some Aspects of Refutation Rules.
Reports Math. Log.
Tomasz F. Skura
1994 J jnl
Syntactic Refutations against Finite Models in Modal Logic.
Notre Dame J. Formal Log.
Tomasz F. Skura
1992 J jnl
Refutation Calculi for Certain Intermediate Propositional Logics.
Notre Dame J. Formal Log.
Tomasz F. Skura
1991 J jnl
On decision procedures for sentential logics.
Stud Logica
Tomasz F. Skura