First-order intensional logic
From MaRDI portal
Publication:598308
DOI10.1016/j.apal.2003.11.014zbMath1061.03024OpenAlexW2005814072MaRDI QIDQ598308
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
Related Items (13)
Translating a Counterpart Theory into a Quantified Modal Language with Descriptors ⋮ The Rule of Existential Generalisation and Explicit Substitution ⋮ FOIL axiomatized ⋮ Chromar, a language of parameterised agents ⋮ Book review of: A. Giordani and J. Malinowski, Logic in high definition: trends in logical semantics ⋮ Prefixed tableaus and nested sequents ⋮ Counterpart theories for everyone ⋮ Mereology in Engineering and Computer Science ⋮ CIFOL: case-intensional first order logic. I: Toward a theory of sorts ⋮ On Height and Happiness ⋮ Partly free semantics for some Anderson-like ontological proofs ⋮ 2005–06 Winter Meeting of the Association for Symbolic Logic ⋮ Unifying quantified modal logic
Cites Work
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
- Proof methods for modal and intuitionistic logics
- Quantified extensions of canonical propositional intermediate logics
- Types, tableaus, and Gödel's God
- First-order modal logic
- Algebraic Kripke sheaf semantics for non-classical predicate logics
- Tableau methods of proof for modal logics
- Pragmatics and intensional logic
- Incompleteness results in Kripke semantics
- Modal Logics Between Propositional and First-order
- Strongly analytic tableaux for normal modal logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: First-order intensional logic
