| Publication | Date of Publication | Type |
|---|
| Practical reasoning: problems and prospects | 2026-03-02 | Paper |
Common Knowledge, Common Attitudes and Social Reasoning
Bulletin of the Section of Logic | 2023-05-04 | Paper |
The formalization of pratical reasoning: problems and prospects
Handbook of Philosophical Logic | 2020-08-10 | Paper |
Chisholm's paradox and conditional oughts
Journal Of Logic And Computation | 2019-07-10 | Paper |
Independence of the dual axiom in modal \(\mathbf{K}\) with primitive
Notre Dame Journal of Formal Logic | 2018-09-19 | Paper |
Action models for conditionals
Journal of Logic, Language and Information | 2016-07-05 | Paper |
Krister Segerberg's philosophy of action
Outstanding Contributions to Logic | 2015-04-10 | Paper |
The logic of counterpart theory with actuality
Journal of Philosophical Logic | 2014-09-18 | Paper |
Chisholm's paradox and conditional oughts
Deontic Logic and Normative Systems | 2014-09-08 | Paper |
Paradoxes of intensionality
The Review of Symbolic Logic | 2011-11-14 | Paper |
| scientific article; zbMATH DE number 5920153 (Why is no real title available?) | 2011-07-13 | Paper |
Some limitations to the psychological orientation in semantic theory
Journal of Philosophical Logic | 2011-02-18 | Paper |
Dynamic contextual intensional logic: logical foundations and an application
Modeling and Using Context | 2010-04-06 | Paper |
| Contextual intensional logic: type-theoretic and dynamic considerations | 2009-08-03 | Paper |
Modeling and Using Context
Lecture Notes in Computer Science | 2005-12-15 | Paper |
The agreement process: an empirical investigation of human–human computer-mediated collaborative dialogs
International Journal of Human-Computer Studies | 2003-04-03 | Paper |
Iterative probability kinematics
Journal of Philosophical Logic | 2002-07-22 | Paper |
Representability in second-order propositional poly-modal logic
Journal of Symbolic Logic | 2002-01-01 | Paper |
| Modeling the beliefs of other agents. Achieving mutuality | 2001-08-30 | Paper |
| scientific article; zbMATH DE number 1418381 (Why is no real title available?) | 2000-10-25 | Paper |
Hybridizing nonmonotonic inheritance with theorem proving
Annals of Mathematics and Artificial Intelligence | 1997-11-09 | Paper |
| scientific article; zbMATH DE number 1028832 (Why is no real title available?) | 1997-07-08 | Paper |
Netl and subsequent path-based inheritance theories
Computers & Mathematics with Applications | 1993-04-19 | Paper |
| scientific article; zbMATH DE number 89007 (Why is no real title available?) | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 67505 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 35417 (Why is no real title available?) | 1992-06-28 | Paper |
A skeptical theory of inheritance in nonmonotonic semantic networks
Artificial Intelligence | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4104926 (Why is no real title available?) | 1989-01-01 | Paper |
A note on syntactical treatments of modality
Synthese | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3616390 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3582123 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3415802 (Why is no real title available?) | 1973-01-01 | Paper |
A semantic theory of sortal incorrectness
Journal of Philosophical Logic | 1972-01-01 | Paper |
Indeterminist time and truth‐value gaps<sup>1</sup>
Theoria | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3300580 (Why is no real title available?) | 1970-01-01 | Paper |
A semantic analysis of conditional logic1
Theoria | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3339349 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3361858 (Why is no real title available?) | 1970-01-01 | Paper |
A semantical study of constructible falsity
Mathematical Logic Quarterly | 1969-01-01 | Paper |
Predicate calculus with free quantifier variables
Journal of Symbolic Logic | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3300574 (Why is no real title available?) | 1969-01-01 | Paper |
On the strong semantical completeness of the intuitionistic predicate calculus
Journal of Symbolic Logic | 1968-01-01 | Paper |
Completeness theorems for some presupposition-free logics
Fundamenta Mathematicae | 1968-01-01 | Paper |
A decision procedure for Fitch's propositional calculus
Notre Dame Journal of Formal Logic | 1967-01-01 | Paper |
All or none; A novel choice of primitives for elementary logic
Journal of Symbolic Logic | 1967-01-01 | Paper |
The Demarcation Line Between Intuitionist Logic and Classical Logic
Mathematical Logic Quarterly | 1966-01-01 | Paper |
On not strengthening intuitionistic logic
Notre Dame Journal of Formal Logic | 1963-01-01 | Paper |
A rule-completeness theorem
Notre Dame Journal of Formal Logic | 1963-01-01 | Paper |
