NDLI: Guards, Bounds, and Generalized Semantics

Content Provider	Springer Nature Link
Author	Benthem, Johan
Copyright Year	2005
Abstract	Some initial motivations for the Guarded Fragment still seem of interest in carrying its program further. First, we stress the equivalence between two perspectives: (a) satisfiability on standard models for guarded first-order formulas, and (b) satisfiability on general assignment models for arbitrary first-order formulas. In particular, we give a new straightforward reduction from the former notion to the latter. We also show how a perspective shift to general assignment models provides a new look at the fixed-point extension LFP(FO) of first-order logic, making it decidable. Next, we relate guarded syntax to earlier quantifier restriction strategies for achieving effective axiomatizability in second-order logic – pointing at analogies with ‘persistent’ formulas, which are essentially in the Bounded Fragment of many-sorted first-order logic. Finally, we look at some further unexplored directions, including the systematic use of ‘quasi-models’ as a semantics by itself.
Starting Page	263
Ending Page	279
Page Count	17
File Format	PDF
ISSN	09258531
Journal	Journal of Logic, Language and Information
Volume Number	14
Issue Number	3
e-ISSN	15729583
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	2005-01-01
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Logic Artificial Intelligence (incl. Robotics) Semantics
Content Type	Text
Resource Type	Article
Subject	Philosophy Computer Science Linguistics and Language

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Tolerance Logic

Definability of Polyadic Lifts of Generalized Quantifiers

Unnatural Language Processing

Fragments of Language

Inference and Computational Semantics

Editorial: Modal Logic and Dynamic Semantics

Incremental Dynamics

Active Agents

Circular Languages

Guards, Bounds, and Generalized Semantics

Similar Documents

Tolerance Logic

Definability of Polyadic Lifts of Generalized Quantifiers

Unnatural Language Processing

Fragments of Language

Inference and Computational Semantics

Editorial: Modal Logic and Dynamic Semantics

Incremental Dynamics

Active Agents

Circular Languages

Guards, Bounds, and Generalized Semantics