Works matching DE "KRIPKE semantics"

Results: 276

L2 German Learners' Perceptions and Use of an Online Semantic Frame‐Based Dictionary.

Published in:

Die Unterrichtspraxis / Teaching German, 2020, v. 53, n. 2, p. 191, doi. 10.1111/tger.12136

By:

Lorenz, Alexander;
Crane, Cori;
Benjamin, John;
Boas, Hans

Publication type:

Article

Dynamic epistemic logic of belief change in legal judgments.

Published in:

Artificial Intelligence & Law, 2018, v. 26, n. 3, p. 201, doi. 10.1007/s10506-017-9202-0

By:

Jirakunkanok, Pimolluck;
Sano, Katsuhiko;
Tojo, Satoshi

Publication type:

Article

A hybrid storage blockchain-based query efficiency enhancement method for business environment evaluation.

Published in:

Knowledge & Information Systems, 2024, v. 66, n. 10, p. 6307, doi. 10.1007/s10115-024-02144-0

By:

Li, Su;
Wang, Junlu;
Ji, Wanting;
Chen, Ze;
Song, Baoyan

Publication type:

Article

A COMPARISON OF BIG-STEP SEMANTICS DEFINITION STYLES.

Published in:

Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica, 2024, v. 57, p. 117, doi. 10.71352/ac.57.141

By:

Bereczky, Péter;
Horpácsi, Dániel;
Thompson, Simon

Publication type:

Article

Semantyka staropolskich terminów bartniczych - na przykładzie (po)łazić pszczoły/miód - w ujęciu kognitywnym.

Published in:

Studia z Filologii Polskiej i Słowiańskiej, 2019, v. 54, p. 1, doi. 10.11649/sfps.1737

By:

Pałka, Patrycja;
Kwaśnicka-Janowicz, Agata

Publication type:

Article

Deriving the meaning of light verb constructions – a frame account of German stehen 'stand'.

Published in:

Yearbook of the German Cognitive Linguistics Association, 2019, v. 7, n. 1, p. 137, doi. 10.1515/gcla-2019-0009

By:

Fleischhauer, Jens;
Gamerschlag, Thomas

Publication type:

Article

Meta-linguistic Descriptivism and the Opacity of Quotation.

Published in:

Acta Analytica, 2014, v. 29, n. 4, p. 413, doi. 10.1007/s12136-014-0217-9

By:

Oliva Córdoba, Michael

Publication type:

Article

Keeping (Direct) Reference in Mind.

Published in:

Nous (0029-4624), 2014, v. 48, n. 2, p. 342, doi. 10.1111/nous.12009

By:

Edwards, Kevan

Publication type:

Article

CARNAP'S PROBLEM FOR MODAL LOGIC.

Published in:

Review of Symbolic Logic, 2023, v. 16, n. 2, p. 578, doi. 10.1017/S1755020321000083

By:

BONNAY, DENIS;
WESTERSTÅHL, DAG

Publication type:

Article

TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS.

Published in:

Review of Symbolic Logic, 2023, v. 16, n. 1, p. 164, doi. 10.1017/S1755020321000496

By:

BEZHANISHVILI, GURAM;
CARAI, LUCA

Publication type:

Article

QUANTIFIED MODAL RELEVANT LOGICS.

Published in:

Review of Symbolic Logic, 2023, v. 16, n. 1, p. 210, doi. 10.1017/S1755020321000216

By:

FERENZ, NICHOLAS

Publication type:

Article

RSL volume 15 issue 3 Cover and Front matter.

Published in:: Review of Symbolic Logic, 2022, v. 15, n. 3, p. f1, doi. 10.1017/S1755020322000259
Publication type:: Article

BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH.

Published in:

Review of Symbolic Logic, 2022, v. 15, n. 3, p. 668, doi. 10.1017/S175502032000043X

By:

MIDDLETON, BEN

Publication type:

Article

BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES.

Published in:

Review of Symbolic Logic, 2020, v. 13, n. 2, p. 416, doi. 10.1017/S1755020319000121

By:

ODINTSOV, SERGEI P.;
SPERANSKI, STANISLAV O.

Publication type:

Article

MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION.

Published in:

Review of Symbolic Logic, 2019, v. 12, n. 4, p. 685, doi. 10.1017/S1755020319000030

By:

GIRARD, PATRICK;
WEBER, ZACH

Publication type:

Article

A UNIFIED THEORY OF TRUTH AND PARADOX.

Published in:

Review of Symbolic Logic, 2019, v. 12, n. 2, p. 209, doi. 10.1017/S1755020319000078

By:

ROSSI, LORENZO

Publication type:

Article

EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS.

Published in:

Review of Symbolic Logic, 2019, v. 12, n. 2, p. 255, doi. 10.1017/S1755020318000497

By:

NAUMOV, PAVEL;
TAO, JIA

Publication type:

Article

ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION.

Published in:

Review of Symbolic Logic, 2018, v. 11, n. 4, p. 805, doi. 10.1017/S1755020318000308

By:

OMORI, HITOSHI;
WANSING, HEINRICH

Publication type:

Article

LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA.

Published in:

Review of Symbolic Logic, 2017, v. 10, n. 1, p. 51, doi. 10.1017/S1755020316000228

By:

LANDO, TAMAR

Publication type:

Article

ON PATHOLOGICAL TRUTHS.

Published in:

Review of Symbolic Logic, 2014, v. 7, n. 4, p. 601, doi. 10.1017/S1755020314000239

By:

ROSENBLATT, LUCAS;
SZMUC, DAMIÁN E.

Publication type:

Article

ON FLATTENING ELIMINATION RULES.

Published in:

Review of Symbolic Logic, 2014, v. 7, n. 1, p. 60, doi. 10.1017/S1755020313000385

By:

OLKHOVIKOV, GRIGORY K.;
SCHROEDER-HEISTER, PETER

Publication type:

Article

AXIOMS FOR GROUNDED TRUTH.

Published in:

Review of Symbolic Logic, 2014, v. 7, n. 1, p. 73, doi. 10.1017/S1755020313000282

By:

SCHINDLER, THOMAS

Publication type:

Article

MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS.

Published in:

Review of Symbolic Logic, 2013, v. 6, n. 2, p. 348, doi. 10.1017/S1755020312000342

By:

OLKHOVIKOV, GRIGORY K.

Publication type:

Article

ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY.

Published in:

Review of Symbolic Logic, 2013, v. 6, n. 1, p. 129, doi. 10.1017/S1755020312000275

By:

KURAHASHI, TAISHI

Publication type:

Article

Quantum modal logic.

Published in:

Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae123

By:

Tokuo, Kenji

Publication type:

Article

Labelled proof systems for existential reasoning.

Published in:

Logic Journal of the IGPL, 2025, v. 33, n. 1, p. 173, doi. 10.1093/jigpal/jzad030

By:

Ramos, Jaime;
Rasga, João;
Sernadas, Cristina

Publication type:

Article

Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation.

Published in:

Logic Journal of the IGPL, 2023, v. 31, n. 3, p. 441, doi. 10.1093/jigpal/jzac041

By:

More, Anuj Kumar;
Banerjee, Mohua

Publication type:

Article

The relevance logic of Boolean groups.

Published in:

Logic Journal of the IGPL, 2023, v. 31, n. 1, p. 96, doi. 10.1093/jigpal/jzab031

By:

Weiss, Yale

Publication type:

Article

Tableaux for essence and contingency.

Published in:

Logic Journal of the IGPL, 2021, v. 29, n. 5, p. 719, doi. 10.1093/jigpal/jzaa016

By:

Venturi, Giorgio;
Yago, Pedro Teixeira

Publication type:

Article

Probability as a modal operator: the possibilities of its combination with other modalities.

Published in:

Logic Journal of the IGPL, 2021, v. 29, n. 4, p. 627, doi. 10.1093/jigpal/jzz044

By:

Guallart, Nino

Publication type:

Article

26th Workshop on Logic, Language, Information and Computation(WoLLIC 2019).

Published in:: Logic Journal of the IGPL, 2021, v. 29, n. 3, p. 385, doi. 10.1093/jigpal/jzaa004
Publication type:: Article

25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018).

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 5, p. 766, doi. 10.1093/jigpal/jzz004

By:

Moss, Lawrence;
Martinez, Maricarmen;
Caicedo, Xavier;
Queiroz, Ruy de

Publication type:

Article

Localizing finite-depth Kripke models.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 3, p. 239, doi. 10.1093/jigpal/jzy036

By:

Mojtahedi, Mojtaba

Publication type:

Article

Basic propositional logic and the weak excluded middle.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 3, p. 371, doi. 10.1093/jigpal/jzy052

By:

Alizadeh, Majid;
Ardeshir, Mohammad

Publication type:

Article

From forcing to satisfaction in Kripke models of intuitionistic predicate logic.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 5, p. 464, doi. 10.1093/jigpal/jzy007

By:

Abiri, Maryam;
Moniri, Morteza;
Zaare, Mostafa

Publication type:

Article

Stone duality for lattice expansions.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 5, p. 475, doi. 10.1093/jigpal/jzy010

By:

Hartonas, Chrysafis

Publication type:

Article

A quick guided tour to the modal logic S4.2.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 4, p. 429, doi. 10.1093/jigpal/jzy008

By:

Chalki, Aggeliki;
Koutras, Costas D;
Zikos, Yorgos

Publication type:

Article

Extensions of Kripke models.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 697, doi. 10.1093/jigpal/jzx008

By:

ZAARE, MOSTAFA

Publication type:

Article

Cut-free sequent calculi for logics characterized by finite linear Kripke frames.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 686, doi. 10.1093/jigpal/jzx007

By:

NAOSUKE MATSUDA

Publication type:

Article

A separable axiomatization of the Gabbay-de Jongh logics.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 3, p. 365, doi. 10.1093/jigpal/jzx001

By:

KYOHEI YOKOMIZO

Publication type:

Article

Weak subintuitionistic logics.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 214, doi. 10.1093/jigpal/jzw062

By:

MALEKI, FATEMEH SHIRMOHAMMADZADEH;
DE JONGH, DICK

Publication type:

Article

A binary Routley semantics for intuitionistic De Morgan minimal logic H<sub>M</sub> and its extensions.

Published in:

Logic Journal of the IGPL, 2015, v. 23, n. 2, p. 174, doi. 10.1093/jigpal/jzu029

By:

ROBLES, GEMMA;
MÉNDEZ, JOSÉ M.

Publication type:

Article

An algebraic look at filtrations in modal logic.

Published in:

Logic Journal of the IGPL, 2013, v. 21, n. 5, p. 788, doi. 10.1093/jigpal/jzt001

By:

Conradie, Willem;
Morton, Wilmari;
van Alten, Clint J.

Publication type:

Article

Connecting dynamic epistemic and temporal epistemic logics.

Published in:

Logic Journal of the IGPL, 2013, v. 21, n. 3, p. 380, doi. 10.1093/jigpal/jzr038

By:

van Ditmarsch, Hans;
van der Hoek, Wiebe;
Ruan, Ji

Publication type:

Article

Kripke Completeness of First-Order Constructive Logics with Strong Negation.

Published in:

Logic Journal of the IGPL, 2003, v. 11, n. 6, p. 615, doi. 10.1093/jigpal/11.6.615

By:

Hasuo, Ichiro;
Kashima, Ryo

Publication type:

Article

QMML: Quantified Minimal Modal Logic and Its Applications.

Published in:

Logic Journal of the IGPL, 2003, v. 11, n. 5, p. 557, doi. 10.1093/jigpal/11.5.557

By:

Stolpe, Audun

Publication type:

Article

A general framework for pattern-driven modal tableaux.

Published in:

Logic Journal of the IGPL, 2002, v. 10, n. 1, p. 51, doi. 10.1093/jigpal/10.1.51

By:

del Cerro, LF;
Gasquet, O

Publication type:

Article

Intuitionistic sequent calculi for finitely many-valued logics.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 6, p. 793, doi. 10.1093/jigpal/9.6.793

By:

Reznik, E;
Curmin, P

Publication type:

Article

Cognitive Phenomenology and Indirect Sense.

Published in:

Metaphysica, 2015, v. 16, n. 1, p. 37, doi. 10.1515/mp-2015-0002

By:

Richards, Bradley

Publication type:

Article

Physical Necessity is Not Necessity Tout Court.

Published in:

Metaphysica, 2012, v. 13, n. 2, p. 175, doi. 10.1007/s12133-012-0101-2

By:

Masterton, George

Publication type:

Article