| Publication | Date of Publication | Type |
|---|
Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics
Outstanding Contributions to Logic | 2022-02-04 | Paper |
K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
New Essays on Belnap-Dunn Logic | 2020-08-10 | Paper |
When is a schema not a schema? On a remark by Suszko
Studia Logica | 2020-03-27 | Paper |
Second-order logic of paradox
Notre Dame Journal of Formal Logic | 2018-12-21 | Paper |
Second-order logic of paradox
Notre Dame Journal of Formal Logic | 2018-12-21 | Paper |
Pecularities of some three- and four-valued second order logics
Logica Universalis | 2018-12-12 | Paper |
Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
Studia Logica | 2015-02-27 | Paper |
Actuality in propositional modal logic
Studia Logica | 2013-06-27 | Paper |
On the ternary relation and conditionality
Journal of Philosophical Logic | 2012-09-20 | Paper |
Relevant restricted quantification
Journal of Philosophical Logic | 2006-11-17 | Paper |
| scientific article; zbMATH DE number 2152246 (Why is no real title available?) | 2005-04-04 | Paper |
Similarity relations and the preservation of solidity
Journal of Logic, Language and Information | 2004-03-15 | Paper |
Predicative logic and formal arithmetic
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
| Relations in Lewis's framework without atoms | 2000-08-22 | Paper |
| Is Even Minimal Negation Constructive? | 2000-08-22 | Paper |
| A Variation on a Paradox | 2000-08-22 | Paper |
Nominalism and Abstract Entities
Analysis | 2000-08-22 | Paper |
| Correction | 2000-08-22 | Paper |
| Worlds as complete novels | 2000-08-22 | Paper |
| Logic and analyticity | 1999-01-01 | Paper |
Relations in monadic third-order logic
Journal of Philosophical Logic | 1997-11-04 | Paper |
| scientific article; zbMATH DE number 1028828 (Why is no real title available?) | 1997-07-08 | Paper |
On quantifying out
Journal of Philosophical Logic | 1995-11-28 | Paper |
Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order
Notre Dame Journal of Formal Logic | 1992-07-22 | Paper |
Actuality and quantification
Notre Dame Journal of Formal Logic | 1990-01-01 | Paper |
Davis's formulation of Kripke's theory of truth: A correction
Journal of Philosophical Logic | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3666766 (Why is no real title available?) | 1980-01-01 | Paper |
The eliminability of the actuality operator in propositional modal logic
Notre Dame Journal of Formal Logic | 1978-01-01 | Paper |
Expressive completeness in modal language
Journal of Philosophical Logic | 1976-01-01 | Paper |
Semantics for S4.2
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
