Search
Search Results
-
Non-transitive Correspondence Analysis
The paper’s novelty is in combining two comparatively new fields of research: non-transitive logic and the proof method of correspondence analysis....
-
Continuous Accessibility Modal Logics
In classical modal semantics, a binary accessibility relation connects worlds. In this paper, we present a uniform and systematic treatment of modal...
-
Modal Information Logics: Axiomatizations and Decidability
The present paper studies formal properties of so-called modal information logics (MILs)—modal logics first proposed in (van Benthem
1996 ) as a way... -
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in \(\text {NExtK4.3}\)
This paper studies modal logics whose extensions all have the finite model property, those whose extensions are all recursively axiomatizable, and...
-
Consistent Theories in Inconsistent Logics
The relationship between logics with sets of theorems including contradictions (“inconsistent logics”) and theories closed under such logics is...
-
Editorial Introduction: Substructural Logics and Metainferences
The concept of substructural logic was originally introduced in relation to limitations of Gentzen’s structural rules of Contraction, Weakening and...
-
Logics of truthmaker semantics: comparison, compactness and decidability
In recent years, there has been a growing interest in truthmaker semantics as a framework for understanding a range of phenomena in philosophy and...
-
Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D
Axiomatic proof/refutation systems for the paraconsistent modal logics: KN4 and KN4.D are presented. The completeness proofs boil down to showing...
-
Structured propositions and a semantics for unrestricted impure logics of ground
I show that the assumption of highly structured propositions can be leveraged to provide a unified semantics for various propositional logics of...
-
Quantified Modal Logics: One Approach to Rule (Almost) them All!
We present a general approach to quantified modal logics that can simulate most other approaches. The language is based on operators indexed by terms...
-
Logics of Order and Related Notions
The aim of the paper is twofold. First, we want to recapture the genesis of the logics of order. The origin of this notion is traced back to the work...
-
Topic Transparency and Variable Sharing in Weak Relevant Logics
In this paper, we examine a number of relevant logics’ variable sharing properties from the perspective of theories of topic or subject-matter. We...
-
Weak Kleene Metainferential Logics
As we have mentioned in Chap. 3 , in [1], PailosPailos, Federico introduces twelve impure metainferential... -
Strong Kleene Metainferential Logics
In this chapter, we will introduce the most studied family of pure and impure mixed metainferential logics of level 1: the Strong Kleene... -
Neighbourhood Semantics for Modal Relevant Logics
In this paper, we investigate neighbourhood semantics for modal extensions of relevant logics. In particular, we combine the neighbourhood...
-
Exact Truthmaker Semantics for Modal Logics
The present paper attempts to provide an exact truthmaker semantical analysis of modalized propositions. According to the present proposal, an exact...
-
MTV Logics
This essay introduces a novel framework to studying many-valued logics – the movable truth value (or
MTV ) approach. After setting up the framework,... -
Sequent-Calculi for Metainferential Logics
In recent years, some theorists have argued that the clogics are not only defined by their inferences, but also by their metainferences. In this...
-
Structural Completeness and Superintuitionistic Inquisitive Logics
In this paper, the notion of structural completeness is explored in the context of a generalized class of superintuitionistic logics involving also... -
Modal Logics of Some Hereditarily Irresolvable Spaces
A topological space is hereditarily k-irresolvable if none of its subspaces can be partitioned into k dense subsets. We use this notion to provide a...