| Publication | Date of Publication | Type |
|---|
A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics
Outstanding Contributions to Logic | 2024-03-25 | Paper |
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
The Bulletin of Symbolic Logic | 2023-10-13 | Paper |
A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics
Outstanding Contributions to Logic | 2023-04-05 | Paper |
Small infinitary epistemic logics
The Review of Symbolic Logic | 2020-02-20 | Paper |
Some weak variants of the existence and disjunction properties in intermediate predicate logics
Bulletin of the Section of Logic | 2018-03-21 | Paper |
Logics of metric spaces
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Semantics for intuitionistic epistemic logics of shallow depths for game theory
Economic Theory | 2013-06-26 | Paper |
A measure of logical inference and its game theoretical applications
Logic, Rationality, and Interaction | 2011-10-19 | Paper |
Axiomatizing distance logics
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Lattice of fuzzy subalgebras in universal algebra.
Algebra Universalis | 2005-04-19 | Paper |
Epistemic models of shallow depths and decision making in games: Horticulture
Journal of Symbolic Logic | 2004-03-25 | Paper |
| scientific article; zbMATH DE number 1989657 (Why is no real title available?) | 2003-10-09 | Paper |
Halldén-completeness in super-intuitionistic predicate logics
Studia Logica | 2003-04-27 | Paper |
A map of common knowledge logics
Studia Logica | 2002-08-21 | Paper |
| scientific article; zbMATH DE number 1759368 (Why is no real title available?) | 2002-06-25 | Paper |
Bounded interpersonal inferences and decision making
Economic Theory | 2002-05-21 | Paper |
| scientific article; zbMATH DE number 1471991 (Why is no real title available?) | 2001-01-11 | Paper |
Algebraic Kripke sheaf semantics for non-classical predicate logics
Studia Logica | 2000-11-14 | Paper |
| scientific article; zbMATH DE number 1373378 (Why is no real title available?) | 1999-12-02 | Paper |
Kripke frame with graded accessibility and fuzzy possible world semantics
Studia Logica | 1998-03-12 | Paper |
Optimal fuzzy objects for the set of given data in the case of the group theory
Information Sciences | 1998-02-19 | Paper |
| scientific article; zbMATH DE number 912318 (Why is no real title available?) | 1997-03-11 | Paper |
Constructing a continuum of predicate extensions of each intermediate propositional logic
Studia Logica | 1996-05-13 | Paper |
| scientific article; zbMATH DE number 549808 (Why is no real title available?) | 1994-11-24 | Paper |
A simple characterization of fuzzy subgroups
Information Sciences | 1994-01-13 | Paper |
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
Studia Logica | 1993-05-16 | Paper |
Some syntactical properties of intermediate predicate logics
Notre Dame Journal of Formal Logic | 1992-06-25 | Paper |
An extension of ono's completeness result
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
Studia Logica | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4110668 (Why is no real title available?) | 1989-01-01 | Paper |
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
Studia Logica | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4139714 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4081505 (Why is no real title available?) | 1987-01-01 | Paper |
