首页>外文期刊>社会科学>哲学、宗教>Journal of applied non-classical logics

Journal of applied non-classical logics

中文名称：应用非经典逻辑杂志

ISSN：1166-3081
出版周期：Quarterly

发文量：284

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.Logics for extended distributive contact lattices

机译：扩展分布接触晶格的逻辑
- 作者：T. Ivanova
- 期刊名称：《Journal of applied non-classical logics》 | 2018年第1期
2.From KLM-style conditionals to defeasible modalities, and back

机译：从荷航形式的条件到可废止的方式
- 作者：Katarina Britz;Ivan Varzinczak
- 期刊名称：《Journal of applied non-classical logics》 | 2018年第1期
- Knowledge representation and reasoning;
- non-monotonic reasoning;
- modal logic;
- preferential semantics;
- defeasible modalities;
- tableaux;
3.Bi-intuitionistic implication structures

机译：双直觉蕴涵结构
- 作者：Daniel Skurt
- 期刊名称：《Journal of applied non-classical logics》 | 2018年第1期
- Implication structures;
- bi-intuitionistic logic;
- dual intuitionistic logic;
- co-negation;
- co-implication;
4.Assertive graphs

机译：断言图
- 作者：F. Bellucci;D. Chiffi;A.-V. Pietarinen
- 期刊名称：《Journal of applied non-classical logics》 | 2018年第1期
- Peirce;
- Frege;
- assertion;
- existential graphs;
- assertive graphs;
- intuitionism;
5.An independent axiomatisation for free short-circuit logic

机译：独立的公理化，可实现自由短路逻辑
- 作者：Alban Ponse;Daan J. C. Staudt
- 期刊名称：《Journal of applied non-classical logics》 | 2018年第1期
6.Truth without standard models: some conceptual problems reloaded

机译：没有标准模型的真相：重载了一些概念问题
- 作者：Eduardo Barrio;Bruno Da Re
- 期刊名称：《Journal of applied non-classical logics》 | 2018年第1期
- Theories of truth;
- non-standard models;
- ω-inconsistency;
7.Frames for fusions of modal logics

机译：模态逻辑融合框架
- 作者：Stawomir Kost
- 期刊名称：《Journal of applied non-classical logics》 | 2018年第1期
- Multimodal logic;
- fusion of modal logics;
8.The monadic hybrid calculus

机译：单子混合演算
- 作者：Omar Alaqeeli;William Wadge
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第2期
- Completeness;
- soundness;
- tableau;
- formal syntax;
- formal semantics;
9.Judgement aggregation in non-classical logics

机译：非经典逻辑中的判断聚合
- 作者：Daniele Porello
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第2期
10.A general framework for dynamic epistemic logic: towards canonical correspondences

机译：动态认知逻辑的一般框架：走向规范对应
- 作者：Shota Motoura
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第2期
- Dynamic epistemic logic;
- public announcement logic;
- general framework;
- global operator;
- modal correspondence;
11.On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz

机译：关于Łukasiewicz的有限多值命题逻辑的公理系统的Rosser-Turquette方法
- 作者：Mateusz M. Radzki
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第2期
- Axiom systems;
- Lukasiewicz's many-valued logics;
- semantic incompleteness;
- standard conditions;
- Rosser-Turquette method;
12.Preface

机译：前言
- 作者：Andreas Herzig;Emiliano Lorini;David Pearce
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第2期
13.Definability in the class of all KD45-frames - computability and complexity

机译：所有KD45框架中的可定义性-可计算性和复杂性
- 作者：D.T. Georgiev
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第2期
- Modal logic;
- KD45;
- first-order definability;
- modal definability;
- complexity;
14.Unification in epistemic logics

机译：认识逻辑的统一
- 作者：Philippe Balbiani;Cigdem Gencer
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第2期
- Epistemic logics;
- unification problem;
- unification type;
15.Trust and agency in the context of communication

机译：交流中的信任与代理
- 作者：Robert Demolombe
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第2期
- Modal logic;
- trust;
- agency;
- information communication;
16.On the relation between possibilistic logic and modal logics of belief and knowledge

机译：信念和知识的可能性逻辑与模态逻辑之间的关系
- 作者：Mohua Banerjee;Didier Dubois;Lluis Godo;Henri Prade
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第4期
- Modal logic;
- possibility theory;
- epistemic logic;
- rough sets;
17.A short biography of Luis Farinas del Cerro

机译：路易斯·法里纳斯·德尔·塞罗的简短传记
- 作者：Pedro Cabalar;Martin Dieguez;Andreas Herzig;David Pearce
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第4期
- Non-classical logics;
18.Society semantics and the logic way to collective intelligence

机译：社会语义学和集体智慧的逻辑方法
- 作者：Walter Carnielli;Mamede Lima-Marques
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第4期
19.Reasoning about trust and aboutness in the context of communication

机译：交流中关于信任和亲切性的推理
- 作者：Robert Demolombe
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第4期
- Modal logic;
- agent interaction;
- trust;
- information;
- communication;
20.KD is nullary

机译：KD为零
- 作者：Philippe Balbiani;Cigdem Gencer
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第4期
- Modal logic;
- unification problem;
- unification type;
21.Temporal abductive reasoning about biochemical reactions

机译：关于生化反应的时间外展推理
- 作者：Serenella Cerrito;Marta Cialdea Mayer;Robert Demolombe
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第4期
- Linear temporal logic;
- abduction;
- hypothesis generation;
- consequence finding;
- reasoning about biological systems;
22.A multimodal logic for closeness

机译：紧密的多峰逻辑
- 作者：A. Burrieza;E. Munoz-Velasco;M. Ojeda-Aciego
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第4期
- Multimodal logic;
- qualitative reasoning;
- closeness;
- completeness;
23.A mereotopology based on sequent algebras

机译：基于后续代数的光拓扑
- 作者：Dimiter Vakarelov
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第4期
- Mereology;
- mereotopology;
- point-free theory of space;
- sequent algebra;
- topology;
- representation theorem;
24.A note on Barcan formula

机译：关于巴康公式的注释
- 作者：Antonio Frias Delgado
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第4期
- Modal logic;
- Barcan formula;
25.Temporal Equilibrium Logic with past operators

机译：过去算子的时间平衡逻辑
- 作者：Felicidad Aguado;Pedro Cabalar;Martin Dieguez;Gilberto Perez;Concepcion Vidal
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第4期
26.Dynamic epistemic logics: promises, problems, shortcomings, and perspectives

机译：动态认知逻辑：承诺，问题，缺点和观点
- 作者：Andreas Herzig
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第4期
- Dynamic epistemic logic;
- public announcement logic;
- logic of action;
- logic of knowledge;
- logic of belief;
- belief revision;
27.Stable reasoning

机译：稳定的推理
- 作者：Pedro Cabalar;David Pearce;Agustfn Valverde
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第4期
- Computational logic;
- philosophy of logic;
- answer set programming;
- stable reasoning;
28.Mixed algebras and their logics

机译：混合代数及其逻辑
- 作者：Ivo Duentsch;Ewa Ortowska;Tinko Tinchev
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第4期
- Modal and sufficiency operators;
- mixed algebras;
- modal logics;
- algebraic semantics;
- discrete duality;
29.Foundations for a logic of arguments

机译：论证逻辑的基础
- 作者：Leila Amgoud;Philippe Besnard;Anthony Hunter
- 期刊名称：《Journal of applied non-classical logics》 | 2017年第4期
- Argumentation;
- arguments;
- rejections;
- reasons;
- claims;
30.First-order frames for orthomodular quantum logic

机译：正模量子逻辑的一阶帧
- 作者：Chrysafis Hartonas
- 期刊名称：《Journal of applied non-classical logics》 | 2016年第1期
- Elementary frames;
- orthomodularity;
- orthologic;
- quantum logic;
31.Propositional quantification in logics of contingency

机译：权变逻辑中的命题量化
- 作者：Hans van Ditmarsch;Jie Fan
- 期刊名称：《Journal of applied non-classical logics》 | 2016年第1期
- Contingency logic;
- announcement whether;
- arbitrary announcement;
- axiomatisation;
- completeness;
- expressivity;
32.Axiomatisation of general concept inclusions from finite interpretations

机译：有限解释的一般概念包含物公理化
- 作者：D. Borchmann;F. Distel;F. Kriegel
- 期刊名称：《Journal of applied non-classical logics》 | 2016年第1期
- Description logics;
- formal concept analysis;
- terminological knowledge;
- ontology learning;
33.The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic

机译：由笑脸矩阵为Anderson和Belnap的一级蕴涵逻辑确定的逻辑
- 作者：Jose M. Mendez;Gemma Robles
- 期刊名称：《Journal of applied non-classical logics》 | 2016年第1期
- Many-valued logics;
- four-valued logics;
- Smiley's four-element matrix;
- relevant logics;
- modal logics;
34.On polynomial semantics for propositional logics

机译：命题逻辑的多项式语义
- 作者：Juan C. Agudelo-Agudelo;Carlos A. Agudelo-Gonzalez;Oscar E. Garcia-Quintero
- 期刊名称：《Journal of applied non-classical logics》 | 2016年第2期
35.In defence of a logic for 'because'

机译：捍卫“因为”的逻辑
- 作者：B. Schnieder
- 期刊名称：《Journal of applied non-classical logics》 | 2016年第2期
- Because;
- logic of grounding;
- truth-functional connectives;
36.A comparison between monoidal and substructural logics

机译：单项逻辑与子结构逻辑之间的比较
- 作者：Clayton Peterson
- 期刊名称：《Journal of applied non-classical logics》 | 2016年第2期
- Non-classical logics;
- linear logic;
- display logic;
- relevance logic;
- classical systems;
- De Morgan dualities;
37.Four ways from universal to particular: how Chomsky's principles-and-parameters model is not selectionist

机译：从通用到特殊的四种方式：乔姆斯基的原理和参数模型不是选择主义
- 作者：David P. Ellerman
- 期刊名称：《Journal of applied non-classical logics》 | 2016年第3期
- Selectionist;
- instructionist;
- generative mechanisms;
- Chomsky's principles-and-parameters model;
- logic of partitions;
38.On a paraconsistentization functor in the category of consequence structures

机译：关于后果结构范畴中的超一致性函子
- 作者：Edelcio G. de Souza;Alexandre Costa-Leite;Diogo H. B. Dias
- 期刊名称：《Journal of applied non-classical logics》 | 2016年第3期
- Paraconsistent logic;
- functor;
- category;
- consequence structures;
39.Game theoretical semantics for some non-classical logics

机译：一些非经典逻辑的博弈论语义
- 作者：Can Baskent
- 期刊名称：《Journal of applied non-classical logics》 | 2016年第3期
40.Knowledge means 'all', belief means 'most'

机译：知识意味着“全部”，信念意味着“大多数”
- 作者：Dimitris Askounis;Costas D. Koutras;Yorgos Zikos
- 期刊名称：《Journal of applied non-classical logics》 | 2016年第3期
- Logics of knowledge and belief;
- modal logic;
- majority spaces;
41.The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics

机译：科学理论的形式模型和计算模型中的发现/证明情境二分法：削弱基于非单调逻辑的区分
- 作者：Jorge A. Morales;Mauricio Molina Delgado
- 期刊名称：《Journal of applied non-classical logics》 | 2016年第4期
- scientific models;
- scientific discovery;
- cognitive science;
- non-monotonic logic;
- defeasible logic;
42.Defining LFIs and LFUs in extensions of infectious logics

机译：在感染逻辑扩展中定义LFI和LFU
- 作者：Damian Enrique Szmuc
- 期刊名称：《Journal of applied non-classical logics》 | 2016年第4期
43.Errata and Addenda to 'Finite non-deterministic semantics for some modal systems'

机译：勘误表和附录“某些模态系统的有限非确定性语义”
- 作者：Marcelo E. Coniglio;Luis Farinas del Cerro;Newton M. Peron
- 期刊名称：《Journal of applied non-classical logics》 | 2016年第4期
- modal logic;
- non deterministic matrices;
44.Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning

机译：在自然主体中建模推理过程：基于局部世界的逻辑框架，用于元素非单调推理和学习
- 作者：Christel Grimaud
- 期刊名称：《Journal of applied non-classical logics》 | 2016年第4期
- partial worlds models;
- non-monotonic inferences;
- reasoning processes;
- learning;
45.Putting right the wording and the proof of the Truth Lemma for APAL

机译：正确处理APAL的真理引理的措词和证明
- 作者：Philippe Balbiani
- 期刊名称：《Journal of applied non-classical logics》 | 2015年第1期
- dynamic epistemic logic;
- public announcements;
- arbitrary announcements;
- axiomatisation;
- completeness;
46.A problem for a logic of 'because'

机译：“因为”逻辑的问题
- 作者：Savas L. Tsohatzidis
- 期刊名称：《Journal of applied non-classical logics》 | 2015年第1期
- philosophical logic;
- sentence connectives;
- 'because';
- explanation;
- hyperintensionality;
47.Letter from the Editor

机译：编者的信
- 作者：Andreas Herzig
- 期刊名称：《Journal of applied non-classical logics》 | 2015年第1期
48.Finite non-deterministic semantics for some modal systems

机译：某些模态系统的有限非确定性语义
- 作者：Marcelo E. Coniglio;Luis Farinas del Cerro;Newton M. Peron
- 期刊名称：《Journal of applied non-classical logics》 | 2015年第1期
- modal logic;
- non-deterministic matrices;
- decidability;
49.Separation logics and modalities: a survey

机译：分离逻辑和模式：调查
- 作者：Stephane Demri;Morgan Deters
- 期刊名称：《Journal of applied non-classical logics》 | 2015年第1期
- separation logic decidability;
- computational complexity;
- expressive power;
- temporal logic;
- modal logic;
- first-order logic;
- second-order logic;
50.Fuzzy concept lattice reduction using Shannon entropy and Huffman coding

机译：香农熵和霍夫曼编码的模糊概念格约简
- 作者：Prem Kumar Singh;Abdullah Gani
- 期刊名称：《Journal of applied non-classical logics》 | 2015年第2期
- formal concept analysis;
- fuzzy concept lattice;
- formal fuzzy concept;
- granulation;
- Huffman coding;
- Shannon entropy;
51.Note on paraconsistency and reasoning about fractions

机译：关于分数的一致性和推理的注意事项
- 作者：Jan A. Bergstra;Inge Bethke
- 期刊名称：《Journal of applied non-classical logics》 | 2015年第2期
- paraconsistent reasoning;
- mathematics education;
- fractions;
52.Varying interpolation and amalgamation in polyadic MV-algebras

机译：多元MV代数中的插值与融合
- 作者：Tarek Sayed Ahmed
- 期刊名称：《Journal of applied non-classical logics》 | 2015年第2期
- many-valued logic;
- MV-algebras;
- polyadic algebras;
- algebraic semantics;
- varying interpolation property;
- generalised super amalgamation;
53.p-adic valued logical calculi in simulations of the slime mould behaviour

机译：p-adic值的黏性模态模拟中的逻辑计算
- 作者：Andrew Schumann
- 期刊名称：《Journal of applied non-classical logics》 | 2015年第2期
- p-adic valued probability;
- p-adic valued logic;
- slime mould;
- Physarum polycephalum;
- natural deduction;
54.Substructural epistemic logics

机译：亚结构的认知逻辑
- 作者：Igor Sedlar
- 期刊名称：《Journal of applied non-classical logics》 | 2015年第3期
- epistemic logic;
- evidence;
- knowledge representation;
- logical omniscience;
- substructural logics;
55.Expressiveness and succinctness of a logic of robustness

机译：鲁棒性逻辑的表现力和简洁性
- 作者：John C. McCabe-Dansted;Tim French;Sophie Pinchinat;Mark Reynolds
- 期刊名称：《Journal of applied non-classical logics》 | 2015年第3期
- robustness;
- succinctness;
- branching time;
- RoCTL~*;
- QCTL~*;
56.Non-normal modalities in variants of linear logic

机译：线性逻辑变体中的非正规模态
- 作者：D. Porello;N. Troquard
- 期刊名称：《Journal of applied non-classical logics》 | 2015年第3期
- modal logics;
- resource-conscious logics;
- agency;
- artefacts;
57.The succinctness of the cover modality

机译：封面模态的简洁
- 作者：H. van Ditmarsch;P. Iliev
- 期刊名称：《Journal of applied non-classical logics》 | 2015年第4期
- modal logic;
- cover modality;
- lower bounds on formula size;
- succinctness;
58.Computability of validity and satisfiability in probability logics over finite and countable models

机译：有限和可数模型上概率逻辑的有效性和可满足性的可计算性
- 作者：Greg Yang
- 期刊名称：《Journal of applied non-classical logics》 | 2015年第4期
59.A new framework for justification logic

机译：证明逻辑的新框架
- 作者：Alessandro Giordani
- 期刊名称：《Journal of applied non-classical logics》 | 2015年第4期
60.Conceptual frames revisited

机译：重访概念框架
- 作者：Pawel Garbacz
- 期刊名称：《Journal of applied non-classical logics》 | 2015年第4期
- Frames;
- concepts;
- common logic;
61.Equivalence in logic-based argumentation

机译：等价于基于逻辑的论证
- 作者：Leila Amgoud;Philippe Besnard;Srdjan Vesic
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第3期
- argumentation;
- equivalence;
- logic;
62.Quantitative possibility theory: logical- and graphical-based representations

机译：定量可能性理论：基于逻辑和图形的表示
- 作者：Hadja Faiza Khellaf-Haned;Salem Benferhat
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第3期
63.A decidable timeout-based extension of linear temporal logic

机译：基于可确定的超时的线性时序逻辑扩展
- 作者：Janardan Misra;Suman Roy
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第3期
- real-time logics;
- temporal logics;
- timeout models;
- model checking;
- timing properties;
- timeout constraints;
- tableau satisfiability;
- undecidability;
- expressiveness of logics;
64.Prior's OIC nonconservativity example revisited

机译：重审了Prior的OIC非保守性示例
- 作者：Lloyd Humberstone
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第3期
- conservative extension;
- positive implication;
- modal logic;
- intermediate logics;
- Dummett's LC;
- order algebras;
- Hilbert algebras with infimum;
65.The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points

机译：无指定点的Routley-Meyer语义中的非相关De Morgan极小逻辑
- 作者：Gemma Robles;Jose M. Mendez
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第4期
- Routley-Meyer semantics;
- De Morgan logics;
- substructural logics;
66.The inapplicability of (selected) paraconsistent logics

机译：（选定的）超一致逻辑的不适用性
- 作者：Rafal Urbaniak;Pawel Sinilo
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第4期
67.Variants of multi-relational semantics for propositional non-normal modal logics

机译：命题非正规模态逻辑的多关系语义变体
- 作者：Erica Calardo;Antonino Rotolo
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第4期
- non-normal modal logics;
- multi-relational semantics;
- completeness;
68.A computational interpretation of conceptivism

机译：概念主义的计算解释
- 作者：T.M. Ferguson
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第4期
- conceptivism;
- containment logic;
- computation;
- analytic implication;
69.Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics

机译：超一致性，超完整性，Gentzen系统和三价语义
- 作者：Arnon Avron
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第2期
70.Modeling the suppression task under weak completion and well-founded semantics

机译：在弱完成和有充分根据的语义下对抑制任务建模
- 作者：Emmanuelle-Anna Dietz;Steffen Hoelldobler;Christoph Wernhard
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第2期
- human reasoning;
- suppression task;
- three-valued logics;
- Lukasiewicz logic;
- weak completion semantics;
- well-founded semantics;
71.Remarks on the Gupta-Belnap fixed-point property for k-valued clones

机译：关于k值克隆的Gupta-Belnap定点属性的说明
- 作者：Jose Martinez-Fernandez
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第2期
- fixed-point property;
- four-valued logic;
- Belnap logic;
- self-referential languages;
- stipulation logic;
72.A 4-valued framework encompassing intuitionistic and classical logic

机译：包含直觉和经典逻辑的4值框架
- 作者：Tin Perkov
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第2期
- 4-valued logic;
- intuitionistic logic;
- Kripke semantics;
73.Minimal models vs. logic programming: the case of counterfactual conditionals

机译：最小模型与逻辑编程：反事实条件的情况
- 作者：Katrin Schulz
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第2期
- non-monotonic reasoning;
- conditional sentences;
- minimal models;
- logic programming;
74.The defective conditional in mathematics

机译：数学中的条件缺陷
- 作者：Mathieu Vidal
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第2期
- defective conditional;
- classical logic;
- trivalent logic;
- strict conditional;
75.Foreword: Three-valued logics and their applications

机译：前言：三值逻辑及其应用
- 作者：Pablo Cobreros;Paul Egre;David Ripley;Robert van Rooij
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第2期
76.Penumbral connections in comparative constructions

机译：比较构造中的半影连接
- 作者：Heather Burnett
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第2期
- vagueness;
- trivalent logic;
- adjectives;
- scalarity;
- evaluativity;
77.Some remarks on certain trivalent accounts of presupposition projection

机译：关于预设投影的某些三价说明的一些评论
- 作者：Benjamin R. George
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第2期
- presupposition projection;
- presupposition;
- trivalent logic;
- explanatory theories;
- semantics;
78.Trivalent logics arising from L-models for the Lambek calculus with constants

机译：具有常数的Lambek演算的L模型产生的三价逻辑
- 作者：S.L. Kuznetsov
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第2期
- Lambek calculus;
- models on subsets of free monoids;
- trivalent logics;
79.Capturing the relationship between conditionals and conditional probability with a trivalent semantics

机译：使用三价语义捕获条件和条件概率之间的关系
- 作者：Daniel Rothschild
- 期刊名称：《Journal of applied non-classical logics》 | 2014年第2期
- conditionals;
- trivalence;
- probability;
- triviality;
80.Logical limits of abstract argumentation frameworks

机译：抽象论证框架的逻辑限制
- 作者：Leila Amgoud;Philippe Besnard
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第3期
- abstract argumentation frameworks;
- logic;
- postulates;
81.A natural deduction system for bundled branching time logic

机译：捆绑分支时间逻辑的自然推导系统
- 作者：Stefano Baratella;Andrea Masini
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第3期
- bundled branching time logic;
- natural deduction;
- weak completeness;
82.Representing any-time and program-iteration by infinitary conjunction

机译：通过无限联结表示任何时间和程序迭代
- 作者：Norihiro Kamide
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第3期
83.Multiple agent possibilistic logic

机译：多主体可能逻辑
- 作者：Asma Belhadi;Didier Dubois;Faiza Khellaf-Haned;Henri Prade
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第4期
- possibilistic logic;
- possibility theory;
- uncertainty;
- multiple agent inconsistency;
84.Deciding the unguarded modal ft -calculus

机译：确定无人守卫的模态微积分
- 作者：Oliver Friedmann;Martin Lange
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第4期
- satisfiability checking;
- fixpoints;
- tableaux;
- automata;
85.Temporal STIT logic and its application to normative reasoning

机译：时间性STIT逻辑及其在规范推理中的应用
- 作者：Emiliano Lorini
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第4期
- STIT logic;
- temporal logic;
- axiomatisation;
- deontic logic;
86.A modal theorem-preserving translation of a class of three-valued logics of incomplete information

机译：一类不完整信息的三值逻辑的保留模态定理的翻译
- 作者：D. Ciucci;D. Dubois
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第4期
- three-valued logics;
- modal logic;
- uncertainty;
- incomplete information;
87.Temporal equilibrium logic: a survey

机译：时间均衡逻辑：调查
- 作者：Felicidad Aguado;Pedro Cabalar;Martin Dieguez;Gilberto Perez;Conception Vidal
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第2期
- answer set programming;
- linear temporal logic;
- equilibrium logic;
- nonmonotonic reasoning;
- knowledge representation;
88.Some properties of system descriptions of AC_d

机译：AC_d的系统描述的某些属性
- 作者：Michael Gelfond;Daniela Inclezan
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第2期
- knowledge representation;
- action and change;
- action languages;
- answer set programming;
89.Foreword

机译：前言
- 作者：Pedro Cabalar;Agustin Valverde
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第2期
90.Equivalence of defeasible normative systems

机译：可废止的规范制度的等效性
- 作者：Jose Julio Alferes;Ricardo Gon§alves;Joao Leite
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第2期
- logic programming;
- deontic logic;
- equilibrium logic;
91.RASP and ASP as a fragment of linear logic

机译：RASP和ASP作为线性逻辑的一部分
- 作者：Stefania Costantini;Andrea Formisano
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第2期
- answer set programming;
- resource management;
- linear logic;
92.Model-based recasting in answer-set programming

机译：答案集编程中基于模型的重铸
- 作者：Thomas Eiter;Michael Fink;Joerg Puehrer;Hans Tompits;Stefan Woltran
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第2期
- answer-set programming;
- logic of here-and-there;
- strong equivalence;
- uniform equivalence;
93.Functional completion

机译：功能完成
- 作者：Vladimir Lifschitz;Fangkai Yang
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第2期
- nonmonotonic causal logic;
- program completion;
- reasoning about actions;
94.On deductive bases for paraconsistent answer set semantics

机译：基于超一致答案集语义的演绎基础
- 作者：N.V. Mayatskiy;S.P. Odintsov
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第2期
- answer set;
- paraconsistency;
- deductive base;
- strong negation;
- Nelson logic;
- twist-structures;
- lattice of logics;
95.Algebraic semantics for modal and superintuitionistic non-monotonic logics

机译：模态和超直觉非单调逻辑的代数语义
- 作者：David Pearce;Levan Uridia
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第2期
- non-monotonic logic;
- equilibrium logic;
- Boolean algebras with operators;
- Heyting algebras;
96.On the relation between SPARQL1.1 and Answer Set Programming

机译：关于SPARQL1.1与答案集编程之间的关系
- 作者：Axel Polleres;Johannes Peter Wallner
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第2期
- SPARQL;
- Datalog;
- Answer Set Programming;
- Semantic Web;
97.The infinite-valued semantics: overview, recent results and future directions

机译：无限值语义：概述，最新结果和未来方向
- 作者：Panos Rondogiannis;Antonis Troumpoukis
- 期刊名称：《Journal of applied non-classical logics》 | 2013年第2期
98.Public announcements, public assignments and the complexity of their logic

机译：公开公告，公开任务及其逻辑的复杂性
- 作者：Hans van Ditmarsch;Andreas Herzig;Tiago de Lima
- 期刊名称：《Journal of applied non-classical logics》 | 2012年第3期
99.Intentions and potential intentions revisited

机译：重新探究意图和潜在意图
- 作者：Xiaocong Fan;John Yen
- 期刊名称：《Journal of applied non-classical logics》 | 2012年第3期
- potential intention;
- multiagent systems;
- teamwork;
- collaboration;
- context;
100.Some properties of the λμ~(∧∨)-calculus

机译：λμ〜（∧∨）演算的一些性质
- 作者：Karim Nour;Khelifa Saber
- 期刊名称：《Journal of applied non-classical logics》 | 2012年第3期
- classical natural deduction;
- lambda-mu-calculus;
- church-rosser;
- standardisation;
- finiteness developments;
- left most reduction;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号