Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Achim Jung
Four-Valued Modal Logic: Kripke Semantics and Duality
Related publications
Many-Valued Logic: Beyond Algebraic Semantics
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
A Four Valued Logic
Bialgebraic Methods and Modal Logic in Structural Operational Semantics
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Kripke Semantics for Martin-Löf's Extensional Type Theory
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Frame Constructions, Truth Invariance and Validity Preservation in Many-Valued Modal Logic
Journal of Applied Non-Classical Logics
Philosophy
Logic
A Four-Valued Logic for Rough Set-Like Approximate Reasoning
A 2-Set-Up Routley-Meyer Semantics for the 4-Valued Relevant Logic E4
Bulletin of the Section of Logic
Philosophy
Logic
Neutrosophic Modal Logic
Complementing Logic Program Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
