| Publication | Date of Publication | Type |
|---|
Embedding the Calendar and Time Type System in Temporal Type Theory
Journal of Applied Non-Classical Logics | 2025-07-18 | Paper |
On weak filters and ultrafilters: Set theory from (and for) knowledge representation
Logic Journal of the IGPL | 2023-02-16 | Paper |
A quick guided tour to the modal logic \textbf{S4.2}
Logic Journal of the IGPL | 2022-08-10 | Paper |
Default consequence relations from topology and measure theory
Annals of Mathematics and Artificial Intelligence | 2022-04-07 | Paper |
A note on the complexity of \textbf{S4.2}
Journal of Applied Non-Classical Logics | 2021-10-15 | Paper |
Galois connections for bilattices
Algebra Universalis | 2021-06-29 | Paper |
A reconstruction of default conditionals within epistemic logic
Fundamenta Informaticae | 2019-06-14 | Paper |
A modal logic of knowledge, belief and estimation
Journal Of Logic And Computation | 2018-11-20 | Paper |
Knowledge means ‘<i>all</i>’, belief means ‘<i>most</i>’
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
Journal of Logic, Language and Information | 2017-08-15 | Paper |
Stathis Zachos at 70!
Lecture Notes in Computer Science | 2017-07-21 | Paper |
In all, but finitely many, possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
Lecture Notes in Computer Science | 2015-11-10 | Paper |
Maps in Multiple Belief Change
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A modal logic of knowledge, belief, and estimation
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Knowledge means `all', belief means `most'
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Notions of bisimulation for Heyting-valued modal languages
Journal of Logic and Computation | 2012-05-07 | Paper |
Relating truth, knowledge and belief in epistemic states
Lecture Notes in Computer Science | 2011-06-29 | Paper |
Stable belief sets revisited
Logics in Artificial Intelligence | 2010-10-01 | Paper |
On a modal epistemic axiom emerging from McDermott-Doyle logics
Fundamenta Informaticae | 2010-02-05 | Paper |
| Canonicity and completeness results for many-valued modal logics | 2009-11-30 | Paper |
A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Frame constructions, truth invariance and validity preservation in many-valued modal logic
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief
Logic Journal of the IGPL | 2009-01-21 | Paper |
| scientific article; zbMATH DE number 2130440 (Why is no real title available?) | 2005-01-20 | Paper |
| scientific article; zbMATH DE number 2060762 (Why is no real title available?) | 2004-03-18 | Paper |
| scientific article; zbMATH DE number 1836056 (Why is no real title available?) | 2004-02-08 | Paper |
Many-valued reflexive autoepistemic logic
Logic Journal of the IGPL | 2004-01-28 | Paper |
Prolegomena to concise theories of action
Studia Logica | 2002-02-10 | Paper |
| On the computational complexity of stratified negation in linear-time temporal logic programming | 2000-01-01 | Paper |
