EXERCISE DEVICES AND METHODS WITH RETRACTABLE CORDS von Goodworth John P, Goldston Mark R, Konikoff Shari, Kripke Sharon

Volltext bestellen

A Kripkean argument for descriptivism von Kipper, Jens, Soysal, Zeynep

Volltext

Meaning relativism and subjective idealism von Guardo, Andrea

Volltext

On Kripke＇s Dogmatism Paradox： A Logical Dynamical Analysis von XU Zhaoqing

Volltext

Don't know in the µ-calculus von Grumberg, Orna, Lange, Martin, Leucker, Martin, Shoham, Sharon

Volltext

The Puzzle of Dogmatism Repuzzled von Spectre, Levi, Sharon, Assaf

Volltext

On synchronic dogmatism von Borges, Rodrigo

Volltext

On Kripke’s Dogmatism Paradox: A Logical Dynamical Analysis von Zhaoqing, XU

Volltext

Open knowledge and changing the subject von Yablo, Stephen

Volltext

Variants of LTL Query Checking von Chockler, Hana, Gurfinkel, Arie, Strichman, Ofer

Volltext

Compositional Verification and 3-Valued Abstractions Join Forces von Shoham, Sharon, Grumberg, Orna

Volltext

ExpliSAT: Guiding SAT-Based Software Verification with Explicit States von Barner, Sharon, Eisner, Cindy, Glazberg, Ziv, Kroening, Daniel, Rabinovitz, Ishai

Volltext

Symbolic Localization Reduction with Reconstruction Layering and Backtracking von Barner, Sharon, Geist, Daniel, Gringauze, Anna

Volltext

An investigation of modal structures as an alternative semantic basis for epistemic logics von Hamilton, Sharon J., Delgrande, James P.

Volltext

Multi-valued model checking games von Shoham, Sharon, Grumberg, Orna

Volltext

Dogmatism repuzzled von Sharon, Assaf, Spectre, Levi

Volltext

Multi-valued Model Checking Games von Shoham, Sharon, Grumberg, Orna

Volltext

Efficient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning von Barner, Sharon, Rabinovitz, Ishai

Volltext

Knowability Relative to Information von Berto, Francesco, Hawke, Peter

Volltext

Knowledge without dogmatism von Conee, Earl

Volltext