Results 301 to 310 of about 19,016 (311)
Some of the next articles are maybe not open access.
A finite model construction for coalgebraic modal logic
The Journal of Logic and Algebraic Programming, 2007Lutz Schröder
exaly
Modal Languages and Bounded Fragments of Predicate Logic
Journal of Philosophical Logic, 1998Hajnal Andreka +2 more
exaly
Inflationary fixed points in modal logic
ACM Transactions on Computational Logic, 2004Anuj Dawar, Stephan Kreutzer
exaly
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
Journal of Applied Logic, 2017Grigory K Olkhovikov
exaly
A Sahlqvist theorem for distributive modal logic
Annals of Pure and Applied Logic, 2005Mai Gehrke, Yde Venema
exaly