Game-theoretic semantics for non-distributive logics
From MaRDI portal
Recommendations
- Game theoretical semantics for some non-classical logics
- Game theoretical semantics for paraconsistent logics
- Game semantics for non-monotonic intensional logic programming
- Game semantics for non-monotonic intensional logic programming
- Non-regular fixed-point logics and games
- A game theoretical semantics for a logic of formal inconsistency
- A game semantics for linear logic
- Game semantics for constructive modal logic
- scientific article; zbMATH DE number 794261
- Game semantics for first-order logic
Cited in
(20)- Finite games for a predicate logic without contractions
- A parallel game semantics for linear logic
- Representation of game algebras
- Non-angelic concurrent game semantics
- Classical negation and game-theoretical semantics
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
- Game theoretical semantic for relevant logic
- Game Semantics for the Geiger-Paz-Pearl Axioms of Independence
- A Game Semantics for Grz
- Game theoretical semantics for paraconsistent logics
- scientific article; zbMATH DE number 5734939 (Why is no real title available?)
- scientific article; zbMATH DE number 1342276 (Why is no real title available?)
- scientific article; zbMATH DE number 1163983 (Why is no real title available?)
- Game theoretical semantics for some non-classical logics
- scientific article; zbMATH DE number 1932899 (Why is no real title available?)
- A game theoretical semantics for logics of nonsense
- A game semantics for system P
- On semantic gamification
- The Ceteris Paribus Structure of Logics of Game Forms
- On the logical and algebraic aspects of reasoning with formal contexts
This page was built for publication: Game-theoretic semantics for non-distributive logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5241925)
