Open Access
Natural Deduction for Generalized Quantifiers
M. van Lambalgen
- 01 Jan 1996
- Iss: 54
23
About: The article was published on 01 Jan 1996. and is currently open access. The article focuses on the topics: Sequent calculus & Natural deduction.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Modal languages and bounded fragments of predicate logic
TL;DR: Les nouvelles directions que peuvent prendre les theoremes de Tarski dans un environnement mathematique are indique celle des contraintes structurelles speciales, des extensions infinies, de the logique modale etendue and d'une semantique dynamique.
724
Modal Foundations for Predicate Logic
J.F.A.K. van Benthem
- 01 Jan 1999
TL;DR: In this article, the modal core of predicate logic has been modally deconstructed, and a compositional semantics for rst-order quantiication has been given, which is based on a modal state semantics for predicate logic.
41
Chapter 10 – Dynamics
Reinhard Muskens
- 01 Jan 1997
TL;DR: This chapter provides an overview of some important dynamic theories in linguistics and artificial intelligence and shows the way in which these fit into the general perspective on communication.
35
•Journal Article
The Epistemic Logic of IF Games
TL;DR: The aim in this paper is to explore the game content of Hintikka’s systems using tools from epistemic logic, and more generally, clarify their thrust at the interface of logic and game theory.
29
•Proceedings Article
A modal logic of relations
Yde Venema,Maarten Marx +1 more
- 01 Jan 1999
TL;DR: Treating existential quantifiers as modal diamonds, this work treats the n-variable fragment Ln of first-order logic, as if it were a modal formalism, and shows that the theory of this class of generalized assignment frames called local cubes is finitely axiomatizable and decidable.