scientific article; zbMATH DE number 5937640
From MaRDI portal
Publication:5198903
zbMath1270.03005MaRDI QIDQ5198903
Publication date: 9 August 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (15)
QUANTIFIED MODAL RELEVANT LOGICS ⋮ Neighbourhood semantics for quantified relevant logics ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Quantification in some non-normal modal logics ⋮ A novel approach to equality ⋮ Neighbourhood semantics for modal relevant logics ⋮ Cover systems for the modalities of linear logic ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ From Iff to Is: Some New Thoughts on Identity in Relevant Logics ⋮ Axiomatizing relativistic dynamics using formal thought experiments ⋮ Ultraproducts of Admissible Models for Quantified Modal Logic ⋮ Identity in Mares-Goldblatt models for quantified relevant logic ⋮ When is a schema not a schema? On a remark by Suszko ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination ⋮ Counterpart semantics at work: independence and incompleteness results in quantified modal logic
This page was built for publication:
