On the meanings of the logical constants and the justifications of the
On the Meaning of the Logical Constants and the
On the Interpretation of Intuitionistic Logic
On the futility of criticizing the neoclassical maximization hypothesis
On the Finite Model Property in Order-Sorted Logic
On The Expressive Power of Three-Valued and Four
On the Expressive Power of QLTL⋆
On the existence of a connected component
On the Construction of Analytic Sequent Calculi for Sub
On the computational content of intuitionistic propositional proofs
On the Complexity of the Equational Theory of Relational Action
On the Complexity of Resolution-based Proof Systems
on the Complexity of Quantifier-Free Fixed-Size Bit-Vector
On the Complexity of Qualitative Spatial Reasoning: A Maximal
On the complexity of perfect models of logic programs 1
On the Complexity of Linking Deductive and Abstract Argument
On the complexity of division and set joins in the
On the Characteristic Functions of Fuzzy Systems 1 Introduction 2
On Solving Boolean Combinations of UTVPI Constraints
On Sets of Premises - Matematički Institut SANU
