✦ LIBER ✦

On combinations of propositional dynamic logic and doxastic modal logics

✍ Scribed by Renate A. Schmidt; Dmitry Tishkovsky

Publisher: Springer Netherlands
Year: 2007
Tongue: English
Weight: 482 KB
Volume: 17
Category: Article
ISSN: 0925-8531
DOI: 10.1007/s10849-007-9041-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The effect of bounding the number of pri

The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic

✍ Joseph Y. Halpern 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 910 KB

A well-known result of Ladner says that the satisfiability problem for K45, KD45, and S5 is NP-complete. This result implicitly assumes that there are infinitely many primitive propositions in the language; it is easy to see that the satisfiability problem for these logics becomes linear time if the

An extended Gentzen-type formulation of

An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation

✍ Osamu Morikawa 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 427 KB

The main purpose of this paper is to present an extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation.

On Fuzzy Logic II. Enriched residuated l

On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi

✍ Jan Pavelka 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 805 KB

For instance, the consequence gy(,,, \*,O of the empty L-fuzzy set Op = 0, 'p E P ( P , L,A) is an L-fuzzy subset of F ( P , L, A ) , which assigns to every 'p E F ( P , L, A ) its tautological degree (%9(P,&)O) 'p E L.

Systems of Transfinite Type Theory Based

Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics

✍ Kenneth A. Bowen 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 953 KB

I n an earlier paper [2], using ZERMELO-FRAENXEL set theory (ZF) as metalanguage, for each ordinal 6 2 1, I introduced a system TTo of transfinite type theory formulated in GENTZEN'S sequentzen style [3]. The notion of sequent and the rules of inference were straightforward generalizations of those

Combinations of tense and deontic modali

Combinations of tense and deontic modality: On the approach to temporal logic with historical necessity and conditional obligation

✍ Lennart Åqvist 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 344 KB

We consider three infinite hierarchies of what I call "two-dimensional temporal logics with explicit realization operators", viz. (i) one without historical or deontic modalities, (ii) one with historical but without deontic modalities, and (iii) one with historical and with dyadic deontic modalitie

On the logical and physical combination

On the logical and physical combination of evidence in intelligent machines

✍ S. Mangiaracina; G. Beni 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 627 KB

We give a rigorous interpretation of the ways of combining evidence in Mycin-type expert systems. We demonstrate the probabilistic inexactness of the Mycin model and its incompleteness for combining evidence from quantitative data extracted in well-defined physical systems. Finally, we present a new