منابع مشابه
On Some Intuitionistic Modal Logics
Some modal logics based on logics weaker than the classical logic have been studied by Fitch [4], Prior [18], Bull [1], [2], [3], Prawitz [17] etc. In this paper, we treat modal logics based on the intuitionistic prepositional logic, which we call intuitionistic modal logics (abbreviated as IML's). Our main concern is to compare properties of several IML's of S4or S5-type 03^ using some model t...
متن کاملOn the succinctness of some modal logics
Article history: Received 24 February 2012 Received in revised form 12 February 2013 Accepted 16 February 2013 Available online 18 February 2013
متن کاملA Note on Some Explicit Modal Logics
Artemov introduced the Logic of Proofs (LP) as a logic of explicit proofs. We can also offer an epistemic reading of this formula: “t is a possible justification of φ”. Motivated, in part, by this epistemic reading, Fitting introduced a Kripke style semantics for LP in [8]. In this note, we prove soundness and completeness of some axiom systems which are not covered in [8].
متن کاملon some bayesian statistical models in actuarial science with emphasis on claim count
چکیده ندارد.
15 صفحه اولOn Kripke completeness of some modal predicate logics
Let us recall some basic definitions and notation; most of them are the same as in the book [3]. Atomic formulas are constructed from predicate letters P k (countably many for each arity n ≥ 0) and a countable set of individual variables V ar, without constants and function letters. Modal (predicate) formulas are obtained from atomic formulas by applying classical propositional connectives, qua...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1973
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093890818