Complete axiomatizations of finite syntactic epistemic states

&
In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies Iii. Springer. pp. 33--50 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Rectangular games.Yde Venema - 1998 - Journal of Symbolic Logic 63 (4):1549-1564.
Commodious axiomatization of quantifiers in multiple-valued logic.Reiner Hähnle - 1998 - Studia Logica 61 (1):101-121.
Complete axiomatizations for reasoning about knowledge and branching time.Ron van der Meyden & Ka-shu Wong - 2003 - Studia Logica 75 (1):93 - 123.
Sequence generators, graphs, and formal languages.Arthur Walter Burks & Jesse B. Wright - unknown
An algorithm for finding finite axiomatizations of finite intermediate logics by means of jankov formulas.Eugeniusz Tomaszewski - 2002 - Bulletin of the Section of Logic 31 (1):1-6.
Individualism and the nature of syntactic states.Thomas Bontly - 1998 - British Journal for the Philosophy of Science 49 (4):557-574.
Finite identification from the viewpoint of epistemic update.Cédric Dégremont & Nina Gierasimczuk - 2011 - Information And Computation 209 (3):383-396.
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
?k: a Non-Fregean Logic of Explicit Knowledge.Steffen Lewitzka - 2011 - Studia Logica 97 (2):233-264.
On axiomatizations of public announcement logic.Yanjing Wang & Qinxiang Cao - 2013 - Synthese 190 (S1).
Syllogisms with fractional quantifiers.Fred Johnson - 1994 - Journal of Philosophical Logic 23 (4):401 - 422.
Quantifier elimination for infinite terms.G. Marongiu & S. Tulipani - 1991 - Archive for Mathematical Logic 31 (1):1-17.
Complete theories with only universal and existential axioms.A. H. Lachlan - 1987 - Journal of Symbolic Logic 52 (3):698-711.
Finite h-dimension does not imply expressive completeness.Ian Hodkinson - 1994 - Journal of Philosophical Logic 23 (5):535 - 573.
Infinitism, finitude and normativity.John Turri - 2013 - Philosophical Studies 163 (3):791-795.

Analytics

Added to PP
2014-01-26

Downloads
36 (#432,773)

6 months
17 (#141,290)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Developing bounded reasoning.Michał Walicki, Marc Bezem & Wojtek Szajnkenig - 2009 - Journal of Logic, Language and Information 18 (1):97-129.

Add more citations

References found in this work

No references found.

Add more references