#LICS2025

RanaldClouston

@ranaldclouston.fediscience.org.ap.brid.gy

8 months ago

Leaving icy Canberra for tropical Singapore today, for the #LICS conference #LICS2025

0 0 0 0

RanaldClouston

@ranaldclouston.fediscience.org.ap.brid.gy

10 months ago

Semantical Analysis of Intuitionistic Modal Logics between CK and IK 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 diamond-free fragments, with only some remaining conservative over the standard axiomatisation of intuitionistic modal logic with necessity (box) alone. We show that relational Kripke semantics for CK can be extended with frame conditions for all axioms in the standard axiomatisation of IK, as well as other axioms previously studied. This allows us to answer open questions about the (non-)conservativity of such logics over intuitionistic modal logic without diamond. Our results are formalised using the Coq Proof Assistant.

My paper 'Semantical Analysis of Intuitionistic Modal Logics between CK and IK', with Jim de Groot and Ian Shillito, is now in its final edited preprint form: https://arxiv.org/abs/2408.00262 . I will travelling to #LICS #LICS2025 to present it in Singapore in late June. #logic #modalLogic

0 0 1 0

RanaldClouston

@ranaldclouston.fediscience.org.ap.brid.gy

10 months ago

LICS 2025

Is it just me or does the #LICS2025 website https://lics.siglog.org/lics25/ not list how much the conference costs (or a list of associated workshops)? Does anyone have this info? #LICS

0 0 0 0

RanaldClouston

@ranaldclouston.fediscience.org.ap.brid.gy

11 months ago

LICS 2025

#LICS #LICS2025 accepted papers are now announced: https://lics.siglog.org/lics25/accepted.php . My colleagues are impressed that there remains computer science venues which haven't been taken over by LLMs yet. #logic

0 0 0 0

Posts tagged #LICS2025