la Prenosil
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Four intuitionistic modal connectives
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.