TY - JOUR
AU - DM Gabbay, VB Shehtman
AB - In the first part of this paper we introduced products of modal logics and proved basic results on their axiomatisability and the f.m.p. In this continuation paper we prove a stronger result - the product f.m.p. holds for products of modal logics in which some of the modalities are reflexive or serial. This theorem is applied in classical first-order logic, we identify a new Square Fragment (SF) of the classical logic, where the basic predicates are binary and all quantifiers are relativised, and for which we show the f.m.p. in the classical sense. Also we prove that SF not included in Guarded Fragment (and in Packed Fragment) and that it can be embedded into the equational theory of relational algebras. Copyright 2000 « Previous | Next Article » Table of Contents This Article Logic Jnl IGPL (2000) 8 (2): 165-210. doi: 10.1093/jigpal/8.2.165 » Abstract Free Full Text (PDF) Classifications Article Services Article metrics Alert me when cited Alert me if corrected Find similar articles Similar articles in Web of Science Add to my archive Download citation Request Permissions Citing Articles Load citing article information Citing articles via CrossRef Citing articles via Scopus Citing articles via Web of Science Citing articles via Google Scholar Google Scholar Articles by Gabbay, D. Articles by Shehtman, V. Search for related content Related Content Load related web page information Share Email this article CiteULike Delicious Facebook Google+ Mendeley Twitter What's this? Search this journal: Advanced » Current Issue October 2015 23 (5) Alert me to new issues The Journal About this journal Rights & Permissions Dispatch date of the next issue We are mobile – find out more Journals Career Network Impact factor: 0.461 5-Yr impact factor: 0.490 Editor-in-Chief Dov Gabbay, UK View full editorial board Logic Journal of the IGPL is published under licence from Professor Dov Gabbay as owner of the journal. For Authors Self-archiving policy Instructions to Authors Alerting Services Email table of contents Email Advance Access CiteTrack XML RSS feed PDA Access Corporate Services Advertising sales Reprints Supplements var taxonomies = ("SCI01760"); Most Most Read A cut-free Gentzen formulation of the modal logic S5 The Functional Interpretation of the Existential Quantifier A general framework for product representations: bilattices and beyond Reduction of provability logics to {Sigma}1-provability logics Theory of disjunctive attacks, Part I » View all Most Read articles Most Cited Independent Bases of Admissible Rules First order abduction via tableau and sequent calculi Compositional semantics for a language of imperfect information A Formal Logic for Abductive Reasoning Substructural logics on display » View all Most Cited articles Disclaimer: Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department. Online ISSN 1368-9894 - Print ISSN 1367-0751 Copyright © 2015 Dov Gabbay Oxford Journals Oxford University Press Site Map Privacy Policy Cookie Policy Legal Notices Frequently Asked Questions Other Oxford University Press sites: Oxford University Press Oxford Journals China Oxford Journals Japan Academic & Professional books Children's & Schools Books Dictionaries & Reference Dictionary of National Biography Digital Reference English Language Teaching Higher Education Textbooks International Education Unit Law Medicine Music Online Products & Publishing Oxford Bibliographies Online Oxford Dictionaries Online Oxford English Dictionary Oxford Language Dictionaries Online Oxford Scholarship Online Reference Rights and Permissions Resources for Retailers & Wholesalers Resources for the Healthcare Industry Very Short Introductions World's Classics function fnc_onDomLoaded() { var query_context = getQueryContext(); PF_initOIUnderbar(query_context,":QS:default","","JRN"); PF_insertOIUnderbar(0); }; if (window.addEventListener) { window.addEventListener('load', fnc_onDomLoaded, false); } else if (window.attachEvent) { window.attachEvent('onload', fnc_onDomLoaded); } var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www."); document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E")); try { var pageTracker = _gat._getTracker("UA-189672-16"); pageTracker._setDomainName(".oxfordjournals.org"); pageTracker._trackPageview(); } catch(err) {}
TI - Products of modal logics. Part 2: relativised quantifiers in classical logic
JF - Logic Journal of the IGPL
DO - 10.1093/jigpal/8.2.165
DA - 2000-03-01
UR - https://www.deepdyve.com/lp/oxford-university-press/products-of-modal-logics-part-2-relativised-quantifiers-in-classical-B8QtQP3HjG
SP - 165
VL - 8
IS - 2
DP - DeepDyve
ER -