First-order intensional logic

DOI10.1016/J.APAL.2003.11.014MaRDI QIDQ598308zbMATH OpenOpenAlexFDO

Authors Melvin Fitting

Publication date 6 August 2004

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2003.11.014

zbMATH Keywords

counterpart semanticsintensional logicKripke modelsmodal logicquantifierstableaux

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

Review text

Several approaches to first-order modal logic are referred to, in particular to D. Lewis' counterpart and multiple counterpart models. The author presents first-order intensional logic with object variables and intensional variables (where intensions are construed as usually, i.e., as functions from possible worlds). The syntactic part is represented by tableaux using prefixes (which indicate possible worlds). A completeness proof is suggested.

Recommendations

• scientific article; zbMATH DE number 2070194
• First-order modal logic
• An Ontology-Based First-Order Modal Logic
• Resolution for some first-order modal systems
• scientific article; zbMATH DE number 42734

Cites work

• Algebraic Kripke sheaf semantics for non-classical predicate logics
• First-order modal logic
• scientific article; zbMATH DE number 1612536 (Why is no real title available?)
• scientific article; zbMATH DE number 1696786 (Why is no real title available?)
• scientific article; zbMATH DE number 3531346 (Why is no real title available?)
• scientific article; zbMATH DE number 1215472 (Why is no real title available?)
• scientific article; zbMATH DE number 221549 (Why is no real title available?)
• scientific article; zbMATH DE number 757642 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 2236678 (Why is no real title available?)
• Incompleteness results in Kripke semantics
• Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
• Modal Logics Between Propositional and First-order
• Pragmatics and intensional logic
• Proof methods for modal and intuitionistic logics
• Quantified extensions of canonical propositional intermediate logics
• Strongly analytic tableaux for normal modal logics
• Tableau methods for modal and temporal logics
• Tableau methods of proof for modal logics
• Types, tableaus, and Gödel's God

Cited in

(37)

• Reflexive intermediate first-order logics
• Idealization in applied first-order logic
• First-order modal logic
• Partly free semantics for some Anderson-like ontological proofs
• Rigid first-order hybrid logic
• Chromar, a language of parameterised agents
• Counterpart theories for everyone
• scientific article; zbMATH DE number 1696787 (Why is no real title available?)
• Mereology in engineering and computer science
• On height and happiness
• scientific article; zbMATH DE number 5000990 (Why is no real title available?)
• 2005–06 Winter Meeting of the Association for Symbolic Logic
• Translating a Counterpart Theory into a Quantified Modal Language with Descriptors
• Adding Intensional Machinery to Hybrid Logic
• An Ontology-Based First-Order Modal Logic
• Intuitionistic completeness of first-order logic
• Prefixed tableaus and nested sequents
• First-order functional languages and intensional logic
• scientific article; zbMATH DE number 1028229 (Why is no real title available?)
• scientific article; zbMATH DE number 2070194 (Why is no real title available?)
• A Way of Making World Quantification Explicit
• CIFOL: case-intensional first order logic. I: Toward a theory of sorts
• First order expressivist logic
• scientific article; zbMATH DE number 824731 (Why is no real title available?)
• The Rule of Existential Generalisation and Explicit Substitution
• scientific article; zbMATH DE number 3251384 (Why is no real title available?)
• Relating Z and first-order logic
• Book review of: A. Giordani and J. Malinowski, Logic in high definition: trends in logical semantics
• Ordered Fragments of First-Order Logic
• First-order modal logic
• Modal logics with non-rigid propositional designators
• Quantified modal logics: one approach to rule (almost) them all!
• Modality across different logics
• Boxing some: axiomatizations of the -bundled fragment of first-order modal logic
• A logic of knowledge and justifications, with an application to computational trust
• Unifying quantified modal logic
• FOIL axiomatized

This page was built for publication: First-order intensional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q598308)