A variant of Thomason's first-order logic CF based on situations

DOI10.1305/NDJFL/1039293021zbMath0967.03022OpenAlexW1984651728MaRDI QIDQ5937807

No author found.

Publication date: 17 July 2001

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039293021

zbMATH Keywords

first-order logic with strong negation and bounded static quantifierfragment of a logic for situation theoryinfon logicKripke semanticssound and complete axiomatic system

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive predicate logic with strong negation and model theory
• Constructivism in mathematics. An introduction. Volume I
• Semantical analyses of propositional systems of Fitch and Nelson
• Intuitionistic logic with strong negation
• The logic of information structures
• Defaults in update semantics
• Reasoning with logic programming
• N-lattices and constructive logic with strong negation
• Constructible falsity and inexact predicates
• Logic Programming with Strong Negation and Inexact Predicates
• A semantical study of constructible falsity
• Constructible falsity

This page was built for publication: A variant of Thomason's first-order logic CF based on situations