Live Roundups Editor's Desk Insights Executive Ops Weather About 🔍
Home › Science › Four intuitionistic modal connectives
Science

Four intuitionistic modal connectives

arXiv CS Monday 08 June 2026, 04:00 UTC By Philippe Balbiani, \c{C}igdem Gencer 1 min read
Key Points

arXiv:2606.07348v1 Announce Type: new Abstract: We introduce the syntax and the semantics of intuitionistic modal logics based on a diamond connective \`a la Prenosil, its dual box connective, a diamond connective \`a la Wijesekera and its dual box connective. We analyze the modal definability of some elementary classes of frames. We study the complete axiomatizability of the sets of valid formulas determined by these classes of frames.

arXiv:2606.07348v1 Announce Type: new Abstract: We introduce the syntax and the semantics of intuitionistic modal logics based on a diamond connective \`a la Prenosil, its dual box connective, a diamond connective \`a la Wijesekera and its dual box connective. We analyze the modal definability of some elementary classes of frames. We study the complete axiomatizability of the sets of valid formulas determined by these classes of frames. We prove the decidability of the minimal intuitionistic modal logic determined by the class of all frames.
la Prenosil (PERSON) la Wijesekera (PERSON)
Originally published by arXiv CS Read original →

Related Stories

Link between poverty and access to nature | Letter

Prof Kathy Willis responds to research showing that the poorest areas in the country face the deepest cuts to green spacesThe new research covered in your report (England’s poorest areas face deepest cuts to green space under planning law changes, report finds, 4 June) highlights the stark inequalities that exist across England when it comes to accessing nature-rich places and unlocking the many health, wellbeing and economic benefits that they can provide. In short, the research has found...

The Guardian UK 33m ago

The Last Evolution, by John W Campbell Jr. (1932)

The Project Gutenberg EBook of The Last Evolution, by John Wood Campbell This eBook is for the use of anyone anywhere at no cost and with almost no restrictions whatsoever. You may copy it, give it away or re-use it under the terms of the Project Gutenberg License included with this eBook or online at www.gutenberg.org

Hacker News 37m ago

Genetically modified worms can now produce and deliver drugs inside a living body, scientists say

Genetically modified worms can now produce and deliver drugs inside a living body, scientists say In a proof-of-concept lab experiment, scientists demonstrated that intestinal parasites could make and release therapeutic agents inside a living host. Scientists genetically tweaked a tiny, worm-like parasite to produce a life-saving antitoxin from inside a living host. In a first-of-its-kind study, researchers modified the hookworm Ancylostoma ceylanicum so that it produces antibodies that...

Live Science 1h ago

Indonesia Landslides Devastated Endangered Orangutans, Study Finds

More than 5 percent of the species is estimated to have been lost when a climate-fueled storm unleashed torrents of water, mud and debris.

NYT Science 1h ago