Works matching DE "KRIPKE semantics"

Results: 277

Transformation of any Verbrugge model to a bisimilar Veltman model.

Published in:

Mathematical Structures in Computer Science, 2025, v. 35, p. 1, doi. 10.1017/S096012952500012X

By:

Perkov, Tin

Publication type:

Article

Distribution-Free Normal Modal Logics.

Published in:

Logics, 2025, v. 3, n. 2, p. 3, doi. 10.3390/logics3020003

By:

Hartonas, Chrysafis

Publication type:

Article

Obituary.

Published in:

Studia Logica, 2025, v. 113, n. 3, p. 599, doi. 10.1007/s11225-025-10197-7

By:

Malinowski, J.

Publication type:

Article

Integrating 3D city data through knowledge graphs.

Published in:

Geo-Spatial Information Science, 2025, v. 28, n. 2, p. 780, doi. 10.1080/10095020.2024.2337360

By:

Ding, Linfang;
Xiao, Guohui;
Pano, Albulen;
Fumagalli, Mattia;
Chen, Dongsheng;
Feng, Yu;
Calvanese, Diego;
Fan, Hongchao;
Meng, Liqiu

Publication type:

Article

Diving into English motion verbs from a lexico-semantic approach: A corpus-based analysis of adventure tourism.

Published in:

Terminology, 2020, v. 26, n. 1, p. 33, doi. 10.1075/term.00041.dur

By:

Durán-Muñoz, Isabel;
L'Homme, Marie-Claude

Publication type:

Article

A Cognitive Linguistic Study of Iraqi EFL University Students' Interpretations of Flash Fiction.

Published in:

Journal of College of Education / Wasit, 2020, v. 41, n. 3, p. 519

By:

Saleema Abdulzahra Naait;
Shaima'a Saaran Hmood

Publication type:

Article

A SEMANTIC DESCRIPTION OF THE COMBINABILITY BETWEEN VERBS AND NOUNS (ON MATERIAL FROM BULGARIAN AND ENGLISH).

Published in:

Foreign Language Teaching, 2020, v. 47, n. 2, p. 115

By:

Leseva, Svetlozara;
Stoyanova, Ivelina;
Todorova, Maria;
Kukova, Hristina

Publication type:

Article

NONEXISTENCE AND ABOUTNESS: THE BANDERSNATCHES OF DUBUQUE.

Published in:

Crítica, 2020, v. 52, n. 154, p. 77, doi. 10.22201/iifs.18704905e.2020.1175

By:

YABLO, STEPHEN

Publication type:

Article

AN ACTUALIST'S GUIDE TO QUANTIFYING IN.

Published in:

Crítica, 2012, n. 132, p. 3, doi. 10.22201/iifs.18704905e.2012.740

By:

RAYO, AGUSTÍN

Publication type:

Article

On the multi-dimensional modal logic of substitutions.

Published in:

Studia Scientiarum Mathematicarum Hungarica, 2019, v. 56, n. 4, p. 454, doi. 10.1556/012.2019.56.4.1447

By:

Ahmed, Tarek Sayed;
Mahmoud, Mohammad Assem

Publication type:

Article

An Approach to Develop Correct‐by‐Construction Business Process Models Using a Formal Domain Specific Language.

Published in:

Journal of Software: Evolution & Process, 2025, v. 37, n. 2, p. 1, doi. 10.1002/smr.2762

By:

Bendaly Hlaoui, Yousra;
Ayari, Salma

Publication type:

Article

Checking interval properties of computations.

Published in:

Acta Informatica, 2016, v. 53, n. 6-8, p. 587, doi. 10.1007/s00236-015-0250-1

By:

Molinari, Alberto;
Montanari, Angelo;
Murano, Aniello;
Perelli, Giuseppe;
Peron, Adriano

Publication type:

Article

An efficient simulation algorithm on Kripke structures.

Published in:

Acta Informatica, 2014, v. 51, n. 2, p. 107, doi. 10.1007/s00236-014-0195-9

By:

Ranzato, Francesco

Publication type:

Article

The infinite, the indefinite and the critical turn: Kant via Kripke models.

Published in:

Inquiry, 2022, v. 65, n. 6, p. 743, doi. 10.1080/0020174X.2019.1651095

By:

Posy, Carl

Publication type:

Article

Binding bound variables in epistemic contexts.

Published in:

Inquiry, 2021, v. 64, n. 5/6, p. 533, doi. 10.1080/0020174X.2018.1470568

By:

Rabern, Brian

Publication type:

Article

Grounded Ungroundedness.

Published in:

Inquiry, 2014, v. 57, n. 2, p. 216, doi. 10.1080/0020174X.2013.855656

By:

Hansen, Casper Storm

Publication type:

Article

A CUT-FREE PROOF SYSTEM FOR A PREDICATE EXTENSION OF THE LOGIC OF PROVABILITY.

Published in:

Reports on Mathematical Logic, 2018, n. 53, p. 97, doi. 10.4467/20842589RM.18.006.8839

By:

Yoshihito TANAKA

Publication type:

Article

A SEMANTICAL ANALYSIS OF CUT-FREE CALCULI FOR MODAL LOGICS.

Published in:

Reports on Mathematical Logic, 2018, n. 53, p. 43, doi. 10.4467/20842589RM.18.003.8836

By:

Mitio TAKANO

Publication type:

Article

RELATIONAL AND NEIGHBORHOOD SEMANTICS FOR INTUITIONISTIC MODAL LOGIC.

Published in:

Reports on Mathematical Logic, 2012, n. 47, p. 87, doi. 10.4467/20842589RM.12.004.0685

By:

KOJIMA, Kensuke

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

Theory and application of labelling techniques for interpretability logics.

Published in:

Mathematical Logic Quarterly, 2022, v. 68, n. 3, p. 352, doi. 10.1002/malq.202200015

By:

Goris, Evan;
Bílková, Marta;
Joosten, Joost J.;
Mikec, Luka

Publication type:

Article

Completeness of intermediate logics with doubly negated axioms.

Published in:

Mathematical Logic Quarterly, 2014, v. 60, n. 1/2, p. 6, doi. 10.1002/malq.201200083

By:

Ardeshir, Mohammad;
Mojtahedi, S. Mojtaba

Publication type:

Article

The Kripke schema in metric topology.

Published in:

Mathematical Logic Quarterly, 2012, v. 58, n. 6, p. 498, doi. 10.1002/malq.201200018

By:

Lubarsky, Robert;
Richman, Fred;
Schuster, Peter

Publication type:

Article

INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS.

Published in:

Journal of Symbolic Logic, 2024, v. 89, n. 4, p. 1522, doi. 10.1017/jsl.2023.7

By:

FORNASIERE, DAMIANO;
MORASCHINI, TOMMASO

Publication type:

Article

TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 868, doi. 10.1017/jsl.2017.77

By:

FUJIMOTO, KENTARO

Publication type:

Article

ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 2, p. 642, doi. 10.1017/jsl.2018.12

By:

JÄGER, GERHARD;
STEILA, SILVIA

Publication type:

Article

MODAL ARGUMENTS AGAINST PHYSICALISM IN VIEW OF SCIENTIFIC FINDINGS CONCERNING PAIN.

Published in:

Interdisciplinary Description of Complex Systems, 2016, v. 14, n. 4, p. 360, doi. 10.7906/indecs.14.4.4

By:

Malec, Maja

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

Generalized Update Semantics.

Published in:

Mind (0026-4423), 2019, v. 128, n. 511, p. 795, doi. 10.1093/mind/fzy076

By:

Goldstein, Simon

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

A THEORETICAL OVERVIEW OF CONCEPTUAL FRAMES AND SEMANTIC RESTRICTIONS ON FRAME ELEMENTS.

Published in:

Linguistique Balkanique, 2019, v. 58, n. 2, p. 172

By:

LESEVA, Svetlozara;
STOYANOVA, Ivelina;
TODOROVA, Maria;
KUKOVA, Hristina

Publication type:

Article

On undecidability of the propositional logic of an associative binary modality.

Published in:

Archive for Mathematical Logic, 2024, v. 63, n. 7/8, p. 837, doi. 10.1007/s00153-024-00921-w

By:

Kaminski, Michael

Publication type:

Article

Labeled sequent calculi for modal logics and implicit contractions.

Published in:

Archive for Mathematical Logic, 2013, v. 52, n. 7/8, p. 881, doi. 10.1007/s00153-013-0350-y

By:

Minari, Pierluigi

Publication type:

Article

Models and reality.

Published in:

Canadian Journal of Philosophy, 2016, v. 46, n. 4/5, p. 709, doi. 10.1080/00455091.2016.1156979

By:

Stalnaker, Robert

Publication type:

Article

Kripke's sole route to the necessary a posteriori.

Published in:

Canadian Journal of Philosophy, 2014, v. 44, n. 3/4, p. 388, doi. 10.1080/00455091.2014.952105

By:

Eaker, Erin

Publication type:

Article