Zobrazeno 1 - 10
of 42
pro vyhledávání: '"de Groot, Jim"'
Automated security protocol verifiers such as ProVerif and Tamarin have been increasingly applied to verify large scale complex real-world protocols. While their ability to automate difficult reasoning processes required to handle protocols at that s
Externí odkaz:
http://arxiv.org/abs/2408.13138
Autor:
Deakin, Jonte, de Groot, Jim
Sub-sub-intuitionistic logic is obtained from intuitionistic logic by weakening the implication and removing distributivity. It can alternatively be viewed as conditional weak positive logic. We provide semantics for sub-sub-intuitionistic logic by m
Externí odkaz:
http://arxiv.org/abs/2408.12030
The intuitionistic modal logics considered between Constructive K (CK) and Intuitionistic K (IK) differ in their treatment of the possibility (diamond) connective. It was recently rediscovered that some logics between CK and IK also disagree on their
Externí odkaz:
http://arxiv.org/abs/2408.00262
Autor:
de Groot, Jim
We characterise non-distributive positive logic as the fragment of a single-sorted first-order language that is preserved by a new notion of simulation called a meet-simulation. Meet-simulations distinguish themselves from simulations because they re
Externí odkaz:
http://arxiv.org/abs/2208.11354
We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak positive (modal) logic. This duality builds on the Hofmann, Mislove and Stralka duality for
Externí odkaz:
http://arxiv.org/abs/2204.13401
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 3 (July 28, 2022) lmcs:7547
We develop a uniform coalgebraic approach to J\'onsson-Tarski and Thomason type dualities for various classes of neighborhood frames and neighborhood algebras. In the first part of the paper we construct an endofunctor on the category of complete and
Externí odkaz:
http://arxiv.org/abs/2106.01628
Heyting-Lewis Logic is the extension of intuitionistic propositional logic with a strict implication connective that satisfies the constructive counterparts of axioms for strict implication provable in classical modal logics. Variants of this logic a
Externí odkaz:
http://arxiv.org/abs/2105.01873
Autor:
de Groot, Jim, Pattinson, Dirk
We give Hennessy-Milner classes for intuitionistic, dual-intuitionistic and bi-intuitionistic logic interpreted in intuitionistic Kripke models, and generalise these results to modal (dual- and bi-)intuitionistic logics. Our main technical tools are
Externí odkaz:
http://arxiv.org/abs/2105.01855
Autor:
de Groot, Jim, Pattinson, Dirk
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 3 (July 14, 2022) lmcs:7026
We extend the meet-implication fragment of propositional intuitionistic logic with a meet-preserving modality. We give semantics based on semilattices and a duality result with a suitable notion of descriptive frame. As a consequence we obtain comple
Externí odkaz:
http://arxiv.org/abs/2012.13858
Publikováno v:
In Annals of Pure and Applied Logic February 2024 175(2)
