Search
Search Results
-
An Axiom System for Basic Hybrid Logic with Propositional Quantifiers
We present an axiom system for basic hybrid logic extended with propositional quantifiers (a second-order extension of basic hybrid logic) and prove... -
Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic
This paper connects the following four topics: a class of generalized graphs whose relations do not have fixed arities called hypergraphs, a family...
-
Consistency-Sensitive Epistemic Modalities in Information-Based Semantics
The paper extends a framework of information-based semantics for intuitionistic logic with a paraconsistent negation and consistency-sensitive...
-
Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic
In this study, we prove the completeness and cut-elimination theorems for a first-order extension F4CC of Arieli, Avron, and Zamansky’s ideal...
-
De Morgan-Płonka Sums
This paper develops De Morgan-Płonka sums, which generalise Płonka sums to contexts in which negation is not topically transparent but still respects...
-
On Some Weakened Forms of Transitivity in the Logic of Conditional Obligation
This paper examines the logic of conditional obligation, which originates from the works of Hansson, Lewis, and others. Some weakened forms of...
-
A Tale of Additives and Concurrency in Game Semantics
Twenty years ago, Abramsky and Melliès published their famous paper, Concurrent Games and Full Completeness. In that paper, they advocated the switch... -
Background: Propositional Tableaus
The semantics for classical propositional logic is the simplest of any active logic—models are specified using truth tables, or equivalently boolean... -
That’s It! Hyperintensional Total Logic
Call a truth complete with respect to a subject matter if it entails every truth about that subject matter. One attractive way to formulate a...
-
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5
Falsification-aware (hyper)sequent calculi and Kripke semantics for normal modal logics including S4 and S5 are introduced and investigated in this...
-
Lambek–Grishin Calculus: Focusing, Display and Full Polarization
Focused sequent calculi are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the... -
Potential rationality in collective decision-making
This study investigates Suzumura consistency as a condition for the rationality of social preferences. A preference is said to be Suzumura-consistent...
-
Structure and Completeness: A Defense of Factualism in Categorial Ontology
The aim of this paper is to offer two novel solutions to two perennial problems of categorial ontology, namely, the problem of the categorial...
-
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...
-
Justified belief, knowledge, and the topology of evidence
We propose a new topological semantics for evidence, evidence-based justifications, belief, and knowledge. Resting on the assumption that an agent’s...
-
Parametrized Modal Logic II: The Unidimensional Case
We consider a syntax and semantics of modal logics based on parametrized modal connectives with... -
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...
-
An epistemic logic of preferences
The article studies preferences of agents in a setting with imperfect information. For such a setting, the authors propose a new class of...
-
Stalnakerian Connexive Logics
Motivated by supplying a new strategy for connexive logic and a better semantics for conditionals so that negating a conditional amounts to negating...