Results 251 to 253 of about 16,441 (253)
Some of the next articles are maybe not open access.
Boxing Some: Axiomatizations of the $$\Box \exists $$-Bundled Fragment of First-Order Modal Logic
Journal of Philosophical Logicexaly
Modal logics and bounded fragments of predicate logic
Journal of Philosophical Logic, 1998openaire +2 more sources
Hybrid logic is the bounded fragment of first order logic
1999Areces, C.E., Blackburn, P., Marx, M.J.
openaire +3 more sources