Supervaluation-Style Truth Without Supervaluations.
- Published in:
- Journal of Philosophical Logic, 2018, v. 47, n. 5, p. 817, doi. 10.1007/s10992-017-9451-0
- By:
- Publication type:
- Article
Works matching DE "KRIPKE semantics"
Results: 271
1
2
Some Notes on Truths and Comprehension.
- Published in:
- Journal of Philosophical Logic, 2018, v. 47, n. 3, p. 449, doi. 10.1007/s10992-017-9434-1
- By:
- Publication type:
- Article
3
Adding a Conditional to Kripke's Theory of Truth.
- Published in:
- Journal of Philosophical Logic, 2016, v. 45, n. 5, p. 485, doi. 10.1007/s10992-015-9384-4
- By:
- Publication type:
- Article
4
A Generalization of Inquisitive Semantics.
- Published in:
- Journal of Philosophical Logic, 2016, v. 45, n. 4, p. 399, doi. 10.1007/s10992-015-9379-1
- By:
- Publication type:
- Article
5
Term Models for Abstraction Principles.
- Published in:
- Journal of Philosophical Logic, 2016, v. 45, n. 1, p. 1, doi. 10.1007/s10992-015-9344-z
- By:
- Publication type:
- Article
6
The Justification of the Basic Laws of Logic.
- Published in:
- Journal of Philosophical Logic, 2015, v. 44, n. 6, p. 793, doi. 10.1007/s10992-015-9360-z
- By:
- Publication type:
- Article
7
Algebraic Kripke-Style Semantics for Relevance Logics.
- Published in:
- Journal of Philosophical Logic, 2014, v. 43, n. 4, p. 803, doi. 10.1007/s10992-013-9290-6
- By:
- Publication type:
- Article
8
Action Emulation between Canonical Models.
- Published in:
- Journal of Philosophical Logic, 2013, v. 42, n. 6, p. 905, doi. 10.1007/s10992-013-9298-y
- By:
- Publication type:
- Article
9
Intuitionistic Epistemic Logic, Kripke Models and Fitch's Paradox.
- Published in:
- Journal of Philosophical Logic, 2012, v. 41, n. 5, p. 877, doi. 10.1007/s10992-011-9207-1
- By:
- Publication type:
- Article
10
The Conceptual Relationships in N+N Compounds in Arabic Compared to English.
- Published in:
- Cognitive Studies / Études Cognitives, 2023, n. 23, p. 1, doi. 10.11649/cs.2849
- By:
- Publication type:
- Article
11
A COGNITIVE LINGUISTICS APPROACH TO INTERNET MEMES ON SELECTED POLISH INTERNET SITES.
- Published in:
- Cognitive Studies / Études Cognitives, 2019, n. 19, p. 1, doi. 10.11649/cs.1939
- By:
- Publication type:
- Article
12
تحلیل محتوای کتاب فارسی خوانداری و نوشتاری دورۀ دبستان از منظر معنیشناسی قالبی
- Published in:
- Language Related Research, 2020, v. 11, n. 4, p. 213
- By:
- Publication type:
- Article
13
Modal Logic S5 Satisfiability in Answer Set Programming.
- Published in:
- Theory & Practice of Logic Programming, 2021, v. 21, n. 5, p. 527, doi. 10.1017/S1471068421000247
- By:
- Publication type:
- Article
14
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:
- Publication type:
- Article
15
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:
- Publication type:
- Article
16
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:
- Publication type:
- Article
17
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:
- Publication type:
- Article
18
An Omniscience-Free Temporal Logic of Knowledge for Verifying Authentication Protocols.
- Published in:
- Bulletin of the Iranian Mathematical Society, 2018, v. 44, n. 5, p. 1243, doi. 10.1007/s41980-018-0087-9
- By:
- Publication type:
- Article
19
Medical Knowledge Graph Completion Based on Word Embeddings.
- Published in:
- Information (2078-2489), 2022, v. 13, n. 4, p. 205, doi. 10.3390/info13040205
- By:
- Publication type:
- Article
20
Metaphors in English-language sports discourse: Linguistic means of "MetaSelf" expression.
- Published in:
- SKASE Journal of Theoretical Linguistics, 2020, v. 17, n. 1, p. 87
- By:
- Publication type:
- Article
21
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:
- Publication type:
- Article
22
Biomedical Text Classification Using Augmented Word Representation Based on Distributional and Relational Contexts.
- Published in:
- Computational Intelligence & Neuroscience, 2023, p. 1, doi. 10.1155/2023/2989791
- By:
- Publication type:
- Article
23
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:
- Publication type:
- Article
24
Categorical Proof-theoretic Semantics.
- Published in:
- Studia Logica, 2025, v. 113, n. 1, p. 125, doi. 10.1007/s11225-024-10101-9
- By:
- Publication type:
- Article
25
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic: Kripke-Completeness and Sequent Calculus...: M. Ma, J. Guo.
- Published in:
- Studia Logica, 2025, v. 113, n. 1, p. 49, doi. 10.1007/s11225-024-10095-4
- By:
- Publication type:
- Article
26
Intuitionistic Propositional Logic with Galois Negations.
- Published in:
- Studia Logica, 2023, v. 111, n. 1, p. 21, doi. 10.1007/s11225-022-10014-5
- By:
- Publication type:
- Article
27
Negative Translations Not Intuitionistically Equivalent to the Usual Ones.
- Published in:
- Studia Logica, 2013, v. 101, n. 1, p. 45, doi. 10.1007/s11225-011-9367-6
- By:
- Publication type:
- Article
28
Complexity Results of STIT Fragments.
- Published in:
- Studia Logica, 2012, v. 100, n. 5, p. 1001, doi. 10.1007/s11225-012-9445-4
- By:
- Publication type:
- Article
29
Standard Gödel Modal Logics.
- Published in:
- Studia Logica, 2010, v. 94, n. 2, p. 189, doi. 10.1007/s11225-010-9230-1
- Publication type:
- Article
30
Axiomatization and Polynomial Solvability of Strictly Positive Fragments of Certain Modal Logics.
- Published in:
- Mathematical Notes, 2018, v. 103, n. 5/6, p. 952, doi. 10.1134/S0001434618050322
- By:
- Publication type:
- Article
31
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:
- Publication type:
- Article
32
A Cognitive Linguistic Study of the Persuasive/Attention Strategies Used in Selected American English E-Advertisements.
- Published in:
- Arab World English Journal, 2021, p. 279, doi. 10.24093/awej/call7.20
- By:
- Publication type:
- Article
33
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:
- Publication type:
- Article
34
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:
- Publication type:
- Article
35
Modal weak Kleene logics: axiomatizations and relational semantics.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exae046
- By:
- Publication type:
- Article
36
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:
- Publication type:
- Article
37
Dual counterpart intuitionistic logic.
- Published in:
- Journal of Logic & Computation, 2024, v. 34, n. 3, p. 590, doi. 10.1093/logcom/exad019
- By:
- Publication type:
- Article
38
Decompositions of stratified institutions.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 7, p. 1625, doi. 10.1093/logcom/exac054
- By:
- Publication type:
- Article
39
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:
- Publication type:
- Article
40
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:
- Publication type:
- Article
41
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:
- Publication type:
- Article
42
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:
- Publication type:
- Article
43
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:
- Publication type:
- Article
44
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:
- Publication type:
- Article
45
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:
- Publication type:
- Article
46
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:
- Publication type:
- Article
47
Preface.
- Published in:
- Journal of Logic & Computation, 2021, v. 31, n. 3, p. 701, doi. 10.1093/logcom/exab012
- Publication type:
- Article
48
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:
- Publication type:
- Article
49
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:
- Publication type:
- Article
50
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:
- Publication type:
- Article