Results 211 to 220 of about 65,341 (232)
Some of the next articles are maybe not open access.
Studia Logica, 2000
The author generalizes the Kripke incompleteness proof for predicate modal logic presented in \textit{G. E. Hughes} and \textit{M. J. Cresswell}'s book ``A new introduction to modal logic'' (Routledge, London) (1996; Zbl 0855.03002), and shows the incompleteness for some predicate modal logics in the extensions of S4 characterized by means of the frame
openaire +1 more source
The author generalizes the Kripke incompleteness proof for predicate modal logic presented in \textit{G. E. Hughes} and \textit{M. J. Cresswell}'s book ``A new introduction to modal logic'' (Routledge, London) (1996; Zbl 0855.03002), and shows the incompleteness for some predicate modal logics in the extensions of S4 characterized by means of the frame
openaire +1 more source
A Modal Extension of Weak Generalisation Predicate Logic
Logic Journal of IGPL, 2006F. Kibedi, G. Tourlakis
openaire +1 more source
A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic
Logic Journal of IGPL, 2007R. Ishigaki, K. Kikuchi
openaire +1 more source
A semantic study of the first-order predicate logic with uncertainty involved
Fuzzy Optimization and Decision Making, 2014Xiang Li
exaly
Modal Languages and Bounded Fragments of Predicate Logic
Journal of Philosophical Logic, 1998Hajnal Andreka +2 more
exaly
Expressivity of extensions of dynamic predicate logic
2001ten Cate, B.D. +2 more
openaire +2 more sources