5 papers
Completeness and Incompleteness for Expanding Gödel-Löb Logics
Somayeh Chopoghloo, David Fernández-Duque, Joost J. Joosten +1
Expanding products of modal logics are bimodal logics obtained from the combination of a `horizontal component' logic and a `vertical component' logic, lying between the fusion and…
Coherency through formalisations of Structured Natural Language, A case study on FRETish
Joost J. Joosten, Marina López Chamosa, SofÃa Santiago Fernández
Formalisation is the process of writing system requirements in a formal language. These requirements mostly originate in Natural Language. In the field of Formal Methods, formalisa…
The Complexity of the Constructive Master Modality
SofÃa Santiago-Fernández, David Fernández-Duque, Joost J. Joosten
We introduce the semantically-defined constructive master-modality logics and , extending the basic constructive modal logic and the Wijesekera-style…
Tree Rewriting Calculi for Strictly Positive Logics
SofÃa Santiago-Fernández, David Fernández-Duque, Joost J. Joosten
We study strictly positive logics in the language , which constructs formulas from , propositional variables, conjunction, and diamond modalities. We begin wit…
Specification languages for computational laws versus basic legal principles
Petia Guintchev, Joost J. Joosten, Sofia Santiago Fernández +3
We speak of a \textit{computational law} when that law is intended to be enforced by software through an automated decision-making process. As digital technologies evolve to offer…