From Carnap's Modal Logic to Autoepistemic Logic

From Carnap's Modal Logic to Autoepistemic Logic

Bibliographic Details
Main Author:	Gottlob, G
Format:	Conference item
Published:	Springer 1994

Similar Items

NP Trees and Carnap's Modal Logic
by: Gottlob, G
Published: (1993)

NP Trees and Carnap's Modal Logic
by: Gottlob, G
Published: (1995)

Translating Default Logic into Standard Autoepistemic Logic
by: Gottlob, G
Published: (1995)

The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic
by: Gottlob, G
Published: (1994)

The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic
by: Gottlob, G
Published: (1993)

Carnap’s principle of tolerance and logical pluralism
by: Diogo Henrique Bispo Dias
Published: (2015-01-01)

Carnap’s principle of tolerance and logical pluralism
by: Diogo Henrique Bispo Dias
Published: (2015-01-01)

Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic
by: Rosati, R, et al.
Published: (2005)

Carnap's Geometrical Methodology
by: Matteo De Benedetto
Published: (2023-08-01)

Carnap’s Turn to the Thing Language
by: Ansten Klev
Published: (2018-10-01)

Logic and modality
by: Bevan, M
Published: (2022)

The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic
by: Eiter, T, et al.
Published: (1997)

Combination of temporal logic with modal logic KD
by: Regimantas Pliuškevičius
Published: (2003-12-01)

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
by: Eiter, T, et al.
Published: (1993)

Handbook of modal logic /
by: Blackburn, Patrick, 1959-, et al.
Published: (2007)

Advances in modal logic /
by: Wolter, Frank
Published: (2002)

Neutrosophic Modal Logic
by: Florentin Smarandache
Published: (2019-04-01)

Implementing Cognitive Semantics of Autoepistemic Membership Statements: The Case of Categories with Prototypes
by: Radosław Piotr Katarzyniak, et al.
Published: (2024-02-01)

Modal logic : The lewis-modal systems /
by: 423681 Zeman, J. Jay
Published: (1973)

Complexity Results for Nonmonotonic Logics
by: Gottlob, G
Published: (1992)

Intuition and evidential facts in Carnap’s analysis of space
by: Juan Bautista Bengoetxea
Published: (2019-12-01)

Introducción a la filosofía de Carnap
by: Diógenes Rosales Papa
Published: (1994-07-01)

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
by: Sadrzadeh, M
Published: (2003)

Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics
by: Lorenz Demey
Published: (2021-06-01)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
by: Williamson, T
Published: (1992)

Modal Logics for Mereotopological Relations
by: Nenov, Y, et al.
Published: (2008)

Intuitionism and the modal logic of vagueness
by: Bobzien, S, et al.
Published: (2020)

Recursive resolution for modal logic
by: Kazakov, Y
Published: (2002)

Linear Abelian Modal Logic
by: Hamzeh Mohammadi
Published: (2024-03-01)

Time and Modality in Avicennan Logic
by: lotfollah nabavi
Published: (2006-06-01)

Modal meet-implication logic
by: Jim de Groot, et al.
Published: (2022-07-01)

Modal Logics of Topological Relations
by: Carsten Lutz, et al.
Published: (2006-06-01)

Density of truth in modal logics
by: Zofia Kostrzycka
Published: (2006-01-01)

The Modal Logic of Aristotelian Diagrams
by: Stef Frijters, et al.
Published: (2023-05-01)

Semantical Considerations on Modal Logic
by: Saul A. Kripke
Published: (2023-04-01)

Applications of Modal Logic to Programming
by: Pratt, Vaughan R.
Published: (2023)

Modality and Time in Logical Context
by: Staniszewski, Frank
Published: (2023)

Logic Programming and Databases
by: Ceri, S, et al.
Published: (1990)

The Complexity of Logic−Based Abduction
by: Eiter, T, et al.
Published: (1995)

The Complexity of Logic−Based Abduction
by: Eiter, T, et al.
Published: (1993)