Modal logic ≈ Modal logic
View article
The logic of public announcements, common knowledge, and private suspicions Open
This paper presents a logical system in which various group-level epistemic actions are incorporated into the object language. That is, we consider the standard modeling of knowledge among a set of agents by multi-modal Kripke structures. …
View article
MoSeL: a general, extensible modal framework for interactive proofs in separation logic Open
A number of tools have been developed for carrying out separation-logic proofs mechanically using an interactive proof assistant. One of the most advanced such tools is the Iris Proof Mode (IPM) for Coq, which offers a rich set of tactics …
View article
Modal Dependence Logic Open
We introduce a modal language which involves the concept of dependence. We give two game-theoretic definitions for the semantics of the language, and one inductive, and prove the equivalence of all three.
View article
Dynamic Epistemic Logic Open
Dynamic Epistemic Logic is the study of modal logics of model change. DEL (pronounced “dell”) is a highly active area of applied logic that touches on topics in many areas, including Formal and Social Epistemology, Epistemic and Doxastic L…
View article
Model Checking Spatial Logics for Closure Spaces Open
Spatial aspects of computation are becoming increasingly relevant in Computer Science, especially in the field of collective adaptive systems and when dealing with systems distributed in physical space. Traditional formal verification tech…
View article
A Purely Recombinatorial Puzzle Open
A new puzzle of modal recombination is presented which relies purely on resources of first‐order modal logic. It shows that naive recombinatorial reasoning, which has previously been shown to be inconsistent with various assumptions concer…
View article
MA-ViT: Modality-Agnostic Vision Transformers for Face Anti-Spoofing Open
The existing multi-modal face anti-spoofing (FAS) frameworks are designed based on two strategies: halfway and late fusion. However, the former requires test modalities consistent with the training input, which seriously limits its deploym…
View article
Modal logics of sabotage revisited Open
Sabotage modal logic was proposed in 2003 as a format for analysing games that modify graphs they are played on. We investigate some model-theoretic and proof-theoretic aspects of sabotage modal logic, which has come to be viewed as an ear…
View article
Knowability Relative to Information Open
We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat ope…
View article
Unified correspondence as a proof-theoretic tool Open
The present article aims at establishing formal connections between correspondence phenomena, well known from the area of modal logic, and the theory of display calculi, originated by Belnap. These connections have been seminally observed …
View article
Four-valued modal logic: Kripke semantics and duality Open
We introduce a family of modal expansions of Belnap–Dunn four-valued logic and related systems, and interpret them in many-valued Kripke structures. Using algebraic logic techniques and topological duality for modal algebras, and generaliz…
View article
Connection-Based Theorem Proving in Classical and Non-Classical Logics Open
We present a uniform procedure for proof search in classical logic, intuitionistic logic, various modal logics, and fragments of linear logic. It is based on matrix characterizations of validity in these logics and extends Bibel’s connecti…
View article
The Many and the One Open
Plural logic has become a well-established subject, especially in philosophical logic. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its beh…
View article
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures Open
Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information systems. This paper proposes an approach to assess conceptua…
View article
EPISTEMIC MULTILATERAL LOGIC Open
We present epistemic multilateral logic , a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral l…
View article
GEOMETRISATION OF FIRST-ORDER LOGIC Open
That every first-order theory has a coherent conservative extension is regarded by some as obvious, even trivial, and by others as not at all obvious, but instead remarkable and valuable; the result is in any case neither sufficiently well…
View article
Weak Rejection Open
Linguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give ex…
View article
Free Choice in Modal Contexts Open
This article proposes a new analysis of modal expressions which (i) explains the difference between necessity and possibility modals with respect to the licensing of Free Choice any and (ii) accounts for the related phenomena of Free Choic…
View article
Label-free Modular Systems for Classical and Intuitionistic Modal Logics Open
In this paper we show for each of the modal axioms d, t, b, 4, and 5 an equivalent set of inference rules in a nested sequent system, such that, when added to the basic system for the modal logic K, the resulting system admits cut eliminat…
View article
Sahlqvist theory for impossible worlds Open
We extend unified correspondence theory to Kripke frames with impossible\nworlds and their associated regular modal logics. These are logics the modal\nconnectives of which are not required to be normal: only the weaker properties\nof addi…
View article
The rationale behind the concept of goal Open
The paper proposes a fresh look at the concept of goal and advances that motivational attitudes like desire, goal and intention are just facets of the broader notion of (acceptable) outcome. We propose to encode the preferences of an agent…
View article
A Fibrational Framework for Substructural and Modal Logics Open
We define a general framework that abstracts the common features of many intuitionistic substructural and modal logics / type theories. The framework is a sequent calculus / normal-form type theory parametrized by a mode theory, which is u…
View article
A Simple Logic of Functional Dependence Open
This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized as…
View article
STABLE CANONICAL RULES Open
We introduce stable canonical rules and prove that each normal modal multi-conclusion consequence relation is axiomatizable by stable canonical rules. We apply these results to construct finite refutation patterns for modal formulas, and p…
View article
LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner Open
Linear temporal logic (LTL) is a modal logic where formulas are built over temporal operators relating events happening in different time instants. According to the standard semantics, LTL formulas are interpreted on traces spanning over a…
View article
HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC Open
Heinrich Behmann (1891–1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved—independently of Löwenheim and Skolem’s earlier work—the decision problem for m…
View article
Horn Fragments of the Halpern-Shoham Interval Temporal Logic Open
We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, the type of the underlying linear order (discrete or dense),…
View article
Inadequacy of Modal Logic in Quantum Settings Open
We test the principles of classical modal logic in fully quantum settings. Modal logic models our reasoning in multi-agent problems, and allows us to solve puzzles like the muddy children paradox. The Frauchiger-Renner thought experiment h…
View article
A calculus and logic of bunched resources and processes Open
Mathematical modelling and simulation modelling are fundamental tools of engineering, science, and social sciences such as economics, and provide decision-support tools in management. Mathematical models are essentially deployed at all sca…
View article
Weak Assertion Open
We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection; we explain the operator might i…