Decision procedures for S3∘ and S4∘

Archive for Mathematical Logic 12 (3-4):155-158 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01969701

Links

PhilArchive



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

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

SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation.Enrico Giunchiglia, Roberto Sebastiani, Fausto Giunchiglia & Armando Tacchella - 2000 - Journal of Applied Non-Classical Logics 10 (2):145-172.
Adaptive versus veridical decision making and the frontal lobes.Elkhonon Goldberg & Kenneth Podell - 1999 - Consciousness and Cognition 8 (3):364-377.
δ-Complete Decision Procedures for Satisfiability over the Reals.Sicun Gao, Jeremy Avigad & Edmund M. Clarke - unknown
Apodeictic syllogisms: Deductions and decision procedures.Fred Johnson - 1995 - History and Philosophy of Logic 16 (1):1-18.
The Limits of Maximization.Eric Wiland - 2010 - Polish Journal of Philosophy 4 (1):99-116.
Act Utilitarianism and Decision Procedures: Robert L. Frazier.Robert L. Frazier - 1994 - Utilitas 6 (1):43-53.
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.Michael Wooldridge, Clare Dixon & Michael Fisher - 1998 - Journal of Applied Non-Classical Logics 8 (3):225-258.
How to reach legitimate decisions when the procedure is controversial.Franz Dietrich - 2005 - Social Choice and Welfare 1 (24):363-393.
An analysis of empirical testing for modal decision procedures.I. Horrocks, P. Patel-Schneider & R. Sebastiani - 2000 - Logic Journal of the IGPL 8 (3):293-323.
Complexitatea judecării morale: limitele abordărilor procedurale și tipuri de contexte.Emilian Mihailov - 2017 - Ideo: Romanian Journal of Philosophical and Social Studies 2 (1):51-66.
The scope of Turing's analysis of effective procedures.Jeremy Seligman - 2002 - Minds and Machines 12 (2):203-220.
Intuition and the junctures of judgment in decision procedures for clinical ethics.John K. Davis - 2007 - Theoretical Medicine and Bioethics 28 (1):1-30.
Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations.Marianna Nicolosi-Asmundo & Domenico Cantone - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Cham, Switzerland: Springer Verlag. pp. 169-202.
Combining decision procedures for the reals.Harvey Friedman & J. Avigad - manuscript
Decision procedures for verification.Harvey M. Friedman - unknown

Analytics

Added to PP
2020-12-03

Downloads
6 (#1,383,956)

6 months
6 (#417,196)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references