Results 231 to 240 of about 16,441 (253)
Some of the next articles are maybe not open access.
Lattice logic as a fragment of (2-sorted) residuated modal logic
Journal of Applied Non-Classical Logics, 2018ABSTRACTCorrespondence and Shalqvist theories for Modal Logics rely on the simple observation that a relational structure F=(W,R) is at the same time the basis for a model of modal logic and for a model of first-order logic with a binary predicate for the accessibility relation.
openaire +1 more source
1989
In the previous chapter we furnished some insight in the use of fragments of default logic as delineated by the format of defaults they admit. The present chapter is devoted to the formal development of these fragments, including open problems.
openaire +1 more source
In the previous chapter we furnished some insight in the use of fragments of default logic as delineated by the format of defaults they admit. The present chapter is devoted to the formal development of these fragments, including open problems.
openaire +1 more source
Fragments of first order logic, I: universal Horn logic
Journal of Symbolic Logic, 1977Let L be any finitary language. By restricting our attention to the universal Horn sentences of L and appealing to a semantical notion of logical consequence, we can formulate the universal Horn logic of L. The present paper provides some theorems about universal Horn logic that serve to distinguish it from the full first order predicate logic ...
openaire +2 more sources
A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
ACM Transactions on Computational Logic, 2023R Ramanujam, Anantha Padmanabha
exaly
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic
Journal of Logic, Language and Information, 2021Gianluca Grilletti, Grilletti Gianluca
exaly
A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic
Journal of Logic, Language and Information, 2022Gennady Shtakser
exaly
Logical to physical table fragments
2022BALLUCHI DANIELE, MINOPOLI DIONISIO
openaire +2 more sources
The Monodic Fragment of Propositional Term Modal Logic
Studia Logica, 2018Anantha Padmanabha +2 more
exaly