An inheritance criterion for the admissible inference rules of K4.
Axiomatic foundations of the kinematics common to classical physics and special relativity
Contributions to foundations of probability calculus on the basis of the modal logical calculus or
Contributions to foundations of probability calculus on the basis of the modal logical calculus or
Contributions to foundations of probability calculus on the basis of the modal logical calculus or
Der Verband der normalen verzweigten Modallogiken.
Discriminator varieties of Boolean algebras with residuated operators
The theory of discriminator algebras and varieties has been investigated extensively, and provides us with a wealth of information and techniques applicable to specific examples of such algebras and varieties. Here we give several such examples for Boolean algebras with a residuated binary operator, abbreviated as r-algebras. More specifically, we show that all finite r-algebras, all integral r-algebras, all unital r-algebras with finitely many elements below the unit, and all commutative residuated...
Essai sur la généralisation naturelle de la logique usuelle (premier mémoire)
Exploring a Syntactic Notion of Modal Many-Valued Logics.
General operators binding variables in the interpreted modal calculus
Si considera il calcolo modale interpretato , che è basato su un sistema di tipi con infiniti livelli, contiene descrizioni, ed è dotato di una semantica di tipo generale - v. [2], o [3], o [4], o [5]. In modo semplice e naturale si introducono in operatori vincolanti variabili, di tipo generale. Per teorie basate sul calcolo logico risultante vale un teorema di completezza, che si dimostra in modo immediato sulla base dell'estensione del teorema parziale di completezza stabilito in [11], fatta...
Higher-level Sequent-systems for Intuitionistic Modal Logic
Homomorphism kernels of a tetravalent modal algebra
How to make your logic fuzzy.
The aim of this paper is to provide a methodology for turning a known crisp logic into a fuzzy system. We require of the methodology that it be meaningful in general terms, using processes which are independent of the notion of fuzziness, and that it yield a considerable number of known fuzzy systems.
Individualised normative logic
Inf-datalog, modal logic and complexities
Inf-Datalog extends the usual least fixpoint semantics of Datalog with greatest fixpoint semantics: we defined inf-Datalog and characterized the expressive power of various fragments of inf-Datalog in [16]. In the present paper, we study the complexity of query evaluation on finite models for (various fragments of) inf-Datalog. We deduce a unified and elementary proof that global model-checking (i.e. computing all nodes satisfying a formula in a given structure) has 1. quadratic data complexity...
Inf-datalog, Modal Logic and Complexities
Inf-Datalog extends the usual least fixpoint semantics of Datalog with greatest fixpoint semantics: we defined inf-Datalog and characterized the expressive power of various fragments of inf-Datalog in [CITE]. In the present paper, we study the complexity of query evaluation on finite models for (various fragments of) inf-Datalog. We deduce a unified and elementary proof that global model-checking (i.e. computing all nodes satisfying a formula in a given structure) has 1. quadratic data complexity...
Inference in Action
Inference rules with metavariables and logical equations in the pretabular modal logic PM1.
Information frames, implication systems and modalities.
We investigate the logical systems which result from introducing the modalities L and M into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Our results lead to the formulation of a uniform labelled refutation system for these logics.
Interrelation of algebraic, semantical and logical properties for superintuitionistic and modal logics
We consider the families 𝓛 of propositional superintuitionistic logics (s.i.l.) and NE(K) of normal modal logics (n.m.l.). It is well known that there is a duality between 𝓛 and the lattice of varieties of pseudo-boolean algebras (or Heyting algebras), and also NE(K) is dually isomorphic to the lattice of varieties of modal algebras. Many important properties of logics, for instance, Craig's interpolation property (CIP), the disjunction property (DP), the Beth property (BP), Hallden-completeness...