What is modal logic

Convex bodies: the brunn–minkowski theory

The Algebraic Theory of Semigroups, Vol. I. By A. H. Clifford and G. B. Preston. Pp. xv + 224. $10.60. 1961. (American Mathematical Society, Providence.)

Invited Lectures.- Tableau Algorithms for Description Logics.- Modality and Databases.- Local Symmetries in Propositional Logic.- Comparison.- Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison.- Consistency Testing: The RACE Experience.- Benchmark Analysis with FaCT.- MSPASS: Modal Reasoning by Translation and First-Order Resolution.- TANCS-2000 Results for DLP.- Evaluating *SAT on TANCS 2000 Benchmarks.- Research Papers.- A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations.- A Tableau System for Godel-Dummett Logic Based on a Hypersequent Calculus.- An Analytic Calculus for Quantified Propositional Godel Logic.- A Tableau Method for Inconsistency-Adaptive Logics.- A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning.- Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics.- Variants of First-Order Modal Logics.- Complexity of Simple Dependent Bimodal Logics.- Properties of Embeddings from Int to S4.- Term-Modal Logics.- A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics.- Dual Intuitionistic Logic Revisited.- Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions.- Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints.- Matrix-Based Inductive Theorem Proving.- Monotonic Preorders for Free Variable Tableaux.- The Mosaic Method for Temporal Logics.- Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5.- A Tableau Calculus for Equilibrium Entailment.- Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory.- Tableau Calculus for Only Knowing and Knowing At Most.- A Tableau-Like Representation Framework for Efficient Proof Reconstruction.- The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson's Arithmetic Q.- System Descriptions.- Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO.- E-SETHEO: An Automated3 Theorem Prover.

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Applications of fuzzy sets to systems analysis

http://www.flll.jku.at/sites/default/files/u24/Cadiag2andFL.pdf

On the (fuzzy) logical content of CADIAG-2

We introduce generalized pseudo-effect algebras as a non-commutative version of generalized effect algebras.

Generalized Pseudo-Effect Algebras

A left-continuous (l.-c.) t-norm ⊙ is called regular if there is an n<ω such that the map x
 ↦
 x⊙a has, for any a∈[0,1], at most n discontinuity points, and if the function mapping every a∈[0,1] to the set $\{x\in[0,1]\hspace {-0.15em}:\hspace{0.15em}\lim_{y\searrow x}y\odot a=x\}$
 
behaves in a specifically simple way. The t-norm algebras based on regular l.-c. t-norms generate the variety of MTL-algebras. With each regular l.-c. t-norm, we associate certain characteristic data, which in particular specifies a finite number of constituents, each of which belongs to one out of six different types. The characteristic data determines the t-norm to a high extent; we focus on those t-norms which are actually completely determined by it. Most of the commonly known l.-c. t-norms are included in the discussion. Our main tool of analysis is the translation semigroup of the totally ordered monoid ([0,1];≤,⊙,0,1), which consists of commuting functions from the real unit interval to itself.

/pdf/regular-left-continuous-t-norms-25lixwfzrm.pdf

Regular left-continuous t-norms

http://www.flll.jku.at/sites/default/files/u24/LAE-LSE.pdf

Logics for approximate and strong entailments

An orthogonality space is a set endowed with a symmetric, irreflexive binary relation. By means of the usual orthogonality relation, each anisotropic quadratic space gives rise to such a structure....

Thomas Vetterlein

Papers

On the (fuzzy) logical content of CADIAG-2

Generalized Pseudo-Effect Algebras

Regular left-continuous t-norms

Logics for approximate and strong entailments

Orthogonality spaces of finite rank and the complex Hilbert spaces