Works matching DE "KRIPKE semantics"

Results: 270

Introduction: Truthmaker Semantics: What, What For, and How?

Published in:

Topoi: An International Review of Philosophy, 2025, v. 44, n. 2, p. 237, doi. 10.1007/s11245-025-10201-8

By:

Cecconi, Alessandro;
Correia, Fabrice;
Glazier, Martin

Publication type:

Article

Is the Macro Grounded in the Micro?

Published in:

Philosophical Quarterly, 2023, v. 73, n. 1, p. 105, doi. 10.1093/pq/pqac013

By:

Glazier, Martin

Publication type:

Article

Kripkean Meta-Semantics and Generalized Rigidity.

Published in:

Philosophical Quarterly, 2019, v. 69, n. 275, p. 332, doi. 10.1093/pq/pqy059

By:

Nimtz, Christian

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

A visão enciclopédica dos frames semânticos.

Published in:

Letrônica, 2019, v. 12, n. 2, p. 1, doi. 10.15448/1984-4301.2019.2.34139

By:

Chishman, Rove

Publication type:

Article

Faithful Modeling of Product Lines with Kripke Structures and Modal Logic.

Published in:

Scientific Annals of Computer Science, 2016, v. 26, n. 1, p. 69, doi. 10.7561/SACS.2016.1.69

By:

DISKIN, Zinovy;
SAFILIAN, Aliakbar;
MAIBAUM, Tom;
BEN-DAVID, Shoham

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

Naturalizing Deontic Logic: Indeterminacy, Diagonalization, and Self‐Affirmation.

Published in:

Philosophical Perspectives, 2018, v. 32, n. 1, p. 165, doi. 10.1111/phpe.12111

By:

Fusco, Melissa

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

Content individuals, truthmaking conditions, and the formal semantics of attitude reports.

Published in:

Theoretical Linguistics, 2020, v. 46, n. 3/4, p. 267, doi. 10.1515/tl-2020-0015

By:

Liefke, Kristina

Publication type:

Article

The Construction of the Semantic Network of Characteristic Words in Overseas Chinese Dialects.

Published in:

International Journal of Multiphysics, 2024, v. 18, n. 3, p. 368

By:

Zihui Xiao;
Zhifeng Peng

Publication type:

Article

Slices and Levels of Extensions of the Minimal Logic.

Published in:

Siberian Mathematical Journal, 2017, v. 58, n. 6, p. 1042, doi. 10.1134/S0037446617060131

By:

Maksimova, L.;
Yun, V.

Publication type:

Article

The structure of slices over minimal logic.

Published in:

Siberian Mathematical Journal, 2016, v. 57, n. 5, p. 841, doi. 10.1134/S003744661605013X

By:

Maksimova, L.

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

Genre and constructional analysis.

Published in:

Pragmatics & Cognition, 2019, v. 25, n. 3, p. 543, doi. 10.1075/pc.18022.nik

By:

Nikiforidou, Kiki

Publication type:

Article

Learning formulaic creativity: Chunking in verbal art and speech.

Published in:

Cognitive Semiotics, 2020, v. 13, n. 1, p. 1, doi. 10.1515/cogsem-2020-2023

By:

Pagán Cánovas, Cristóbal

Publication type:

Article

Fikcjonalizm modalny [Modal Fictionalism].

Published in:

Forum Philosophicum, 2018, v. 23, n. 2, p. 352, doi. 10.35765/forphil.2018.2302.20

By:

PRUŚ, JAKUB

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

A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic.

Published in:

International Journal of Mathematics & Mathematical Sciences, 2012, p. 1, doi. 10.1155/2012/259541

By:

Fujio, Mitsuhiko

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

Argument structure satisfaction via unselected adjuncts: The case of the Japanese causal node construction.

Published in:

Belgian Journal of Linguistics, 2020, v. 34, n. 1, p. 79, doi. 10.1075/bjl.00036.fuj

By:

Fujii, Seiko;
Lee-Goldman, Russell

Publication type:

Article

Paradox, Repetition, Revenge.

Published in:

Topoi: An International Review of Philosophy, 2015, v. 34, n. 1, p. 121, doi. 10.1007/s11245-013-9225-4

By:

Simmons, Keith

Publication type:

Article

What is an image schema? Looking for an answer in Latvian and Mandarin Chinese.

Published in:

Language: Meaning & Form / Valoda: Nozīme un Forma, 2020, n. 11, p. 142, doi. 10.22364/vnf.11.09

By:

Nikolajeva, Marija

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

NAS-CRE: Neural Architecture Search for Context-Based Relation Extraction.

Published in:

Applied Sciences (2076-3417), 2024, v. 14, n. 23, p. 10960, doi. 10.3390/app142310960

By:

Yan, Rongen;
Li, Dongmei;
Wu, Yan;
Dang, Depeng;
Tao, Ye;
Wang, Shaofei

Publication type:

Article

CRSAtt: By Capturing Relational Span and Using Attention for Relation Classification.

Published in:

Applied Sciences (2076-3417), 2022, v. 12, n. 21, p. 11068, doi. 10.3390/app122111068

By:

Shao, Cong;
Li, Min;
Li, Gang;
Zhou, Mingle;
Han, Delong

Publication type:

Article

Some completeness results in derivational modal logic.

Published in:

Journal of Logic & Computation, 2024, v. 34, n. 7, p. 1211, doi. 10.1093/logcom/exad047

By:

Gougeon, Quentin

Publication type:

Article

Dual counterpart intuitionistic logic.

Published in:

Journal of Logic & Computation, 2024, v. 34, n. 3, p. 590, doi. 10.1093/logcom/exad019

By:

Cantor, Anthony;
Stump, Aaron

Publication type:

Article

Decompositions of stratified institutions.

Published in:

Journal of Logic & Computation, 2023, v. 33, n. 7, p. 1625, doi. 10.1093/logcom/exac054

By:

Diaconescu, Răzvan

Publication type:

Article

Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020).

Published in:

Journal of Logic & Computation, 2023, v. 33, n. 6, p. 1119, doi. 10.1093/logcom/exad054

By:

Martins, Manuel A;
Sedlár, Igor

Publication type:

Article

Three faces of recursion axioms: the case of constructive dynamic logic of relation changers.

Published in:

Journal of Logic & Computation, 2023, v. 33, n. 6, p. 1399, doi. 10.1093/logcom/exac013

By:

Hatano, Ryo;
Sano, Katsuhiko

Publication type:

Article

Actualizing distributed knowledge in bounded groups.

Published in:

Journal of Logic & Computation, 2023, v. 33, n. 6, p. 1497, doi. 10.1093/logcom/exac007

By:

Solaki, Anthia

Publication type:

Article

Relevant epistemic logic with public announcements and common knowledge.

Published in:

Journal of Logic & Computation, 2023, v. 33, n. 2, p. 436, doi. 10.1093/logcom/exac100

By:

PunČochář, Vít;
Sedlár, Igor;
Tedder, Andrew

Publication type:

Article

Preface: Special Issue on Logic and Argumentation.

Published in:

Journal of Logic & Computation, 2023, v. 33, n. 2, p. 189, doi. 10.1093/logcom/exac091

By:

Baroni, Pietro;
Benzmüller, Christoph;
Wáng, Yì N

Publication type:

Article

Justification logic and type theory as formalizations of intuitionistic propositional logic.

Published in:

Journal of Logic & Computation, 2022, v. 32, n. 8, p. 1531, doi. 10.1093/logcom/exac066

By:

DeBoer, Neil J

Publication type:

Article

logic for biassed information diffusion by paranoid agents in social networks.

Published in:

Journal of Logic & Computation, 2022, v. 32, n. 6, p. 1292, doi. 10.1093/logcom/exac020

By:

Prandi, Lorenzo;
Primiero, Giuseppe

Publication type:

Article

A fully labelled proof system for intuitionistic modal logics.

Published in:

Journal of Logic & Computation, 2021, v. 31, n. 3, p. 998, doi. 10.1093/logcom/exab020

By:

Marin, Sonia;
Morales, Marianela;
Straßburger, Lutz

Publication type:

Article

Preface.

Published in:: Journal of Logic & Computation, 2021, v. 31, n. 3, p. 701, doi. 10.1093/logcom/exab012
Publication type:: Article

Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity.

Published in:

Journal of Logic & Computation, 2021, v. 31, n. 1, p. 67, doi. 10.1093/logcom/exaa072

By:

Dalmonte, Tiziano;
Lellmann, Björn;
Olivetti, Nicola;
Pimentel, Elaine

Publication type:

Article

Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus.

Published in:

Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1567, doi. 10.1093/logcom/exaa055

By:

Kašterović, Simona;
Ghilezan, Silvia

Publication type:

Article

Recursive enumerability and elementary frame definability in predicate modal logic.

Published in:

Journal of Logic & Computation, 2020, v. 30, n. 2, p. 549, doi. 10.1093/logcom/exz028

By:

Rybakov, Mikhail;
Shkatov, Dmitry

Publication type:

Article