scientific article; zbMATH DE number 6841178
DOI10.23638/LMCS-14(1:10)2018zbMATH Open1459.03021arXiv1706.02854MaRDI QIDQ4603449FDOQ4603449
Authors: Denisa Diaconescu, George Metcalfe, Laura Schnüriger 
Publication date: 20 February 2018
Full work available at URL: https://arxiv.org/abs/1706.02854
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 6863647
- Modal logics, justification logics, and realization
- Modal logics of domains on the real plane
- A predicate extension of real valued logic
- Modified realizability and predicate logic
- scientific article; zbMATH DE number 35414
- scientific article; zbMATH DE number 3216186
- Actuality in propositional modal logic
- Realizability and intuitionistic logic
- Modal fixed point logics
proof theorymany-valued logicmodal logicsequent calculustableau calculusabelian logicŁukasiewicz logic
Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Cut-elimination and normal-form theorems (03F05) Complexity of computation (including implicit computational complexity) (03D15)
Cites Work
- Metamathematics of fuzzy logic
- Title not available (Why is that?)
- Proving termination with multiset orderings
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- Tense operators on MV-algebras and Łukasiewicz-Moisil algebras
- Sequent and hypersequent calculi for abelian and łukasiewicz logics
- Making fuzzy description logic more general
- Reasoning within fuzzy description logics
- Spatial reasoning in a fuzzy region connection calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Many-valued modal logics: a simple approach
- Standard Gödel modal logics
- A qualitative fuzzy possibilistic logic
- Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic
- Łukasiewicz \(\mu\)-calculus
- Towards a proof theory of Gödel modal logics
- A note on infinitary continuous logic
- Title not available (Why is that?)
- Decidability of order-based modal logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- On modal logics of linear inequalities
- Expressivity in chain-based modal logics
- Title not available (Why is that?)
- Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
Cited In (7)
- Linear abelian modal logic
- Title not available (Why is that?)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
- A Classical Realizability Model for a Semantical Value Restriction
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
- Free modal Riesz spaces are Archimedean: a syntactic proof
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4603449)
