Proving semantic properties as first-order satisfiability

Artificial Intelligence 277 (C):103174 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2019.103174

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Semantic Normativity and Semantic Causality.Lei Zhong - 2017 - Philosophy and Phenomenological Research 94 (3):626-645.
Combinatorial Analytic Tableaux.Robert Cowen - 1993 - Reports on Mathematical Logic:29-39.
On a causal theory of content.Lynne Rudder Baker - 1989 - Philosophical Perspectives 3:165-186.
Two variable first-order logic over ordered domains.Martin Otto - 2001 - Journal of Symbolic Logic 66 (2):685-702.
Two Variable First-Order Logic Over Ordered Domains.Martin Otto - 2001 - Journal of Symbolic Logic 66 (2):685-702.
Semantics and the Plural Conception of Reality.Salvatore Florio - 2014 - Philosophers' Imprint 14:1-20.
Hypergraph Satisfiability.R. Cowen - 1991 - Reports on Mathematical Logic.
Intrinsic Properties of Properties.Cowling Sam - 2016 - Philosophical Quarterly 67 (267):241-262.
The Semantic Foundations of Metaphysics.Huw Price - 2009 - In Ian Ravenscroft (ed.), Minds, Ethics, and Conditionals: Themes from the Philosophy of Frank Jackson. Oxford University Press.
The Semantic Foundations of Metaphysics.Huw Price - 2009 - In Ian Ravenscroft (ed.), Minds, Ethics, and Conditionals: Themes From the Philosophy of Frank Jackson. Oxford University Press. pp. 111-140.
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories.Igor Oliveira & Walter Carnielli - 2008 - Logic Journal of the IGPL 16 (6):585-590.
Undecidability results on two-variable logics.Erich Grädel, Martin Otto & Eric Rosen - 1999 - Archive for Mathematical Logic 38 (4-5):313-354.
COMMENTARY: “Second-Order Predication and the Metaphysics of Properties” by Andrew Egan.Peter Alward - unknown
Satisfiability is False Intuitionistically: A Question from Dana Scott.Charles McCarty - 2020 - Studia Logica 108 (4):803-813.
Completeness and Decidability of General First-Order Logic.Aldo Antonelli - 2017 - Journal of Philosophical Logic 46 (3):233-257.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,389,828)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proving semantic properties as first-order satisfiability.Salvador Lucas - 2019 - Artificial Intelligence 277 (C):103174.

Add more citations

References found in this work

Logic of many-sorted theories.Hao Wang - 1952 - Journal of Symbolic Logic 17 (2):105-116.
Proving semantic properties as first-order satisfiability.Salvador Lucas - 2019 - Artificial Intelligence 277 (C):103174.
Proof by consistency.Deepak Kapur & David R. Musser - 1987 - Artificial Intelligence 31 (2):125-157.

Add more references