default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 16, 2008
Volume 16, Number 1, February 2008
- Mohammad Ardeshir, Bardyaa Hesaam:
An Introduction to Basic Arithmetic. 1-13 - Sandra Marques Pinto, M. Teresa Oliveira-Martins
, M. Céu Pinto:
Congruences on Dynamic Algebras. 15-31 - Gemma Robles, José M. Méndez:
The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant. 33-41 - Miguel Couceiro, Lauri Hella, Jari Kivelä:
Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic. 43-73 - Francis Jeffry Pelletier, Andrew Hartline:
Ternary Exclusive Or. 75-83 - Owen Barnett, Jeff B. Paris:
Maximum Entropy Inference with Quantified Knowledge. 85-98 - M. Zayed:
An Application of Model Theory to Semimodules. 99-102
Volume 16, Number 2, April 2008
- Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic:
Logics with the Qualitative Probability Operator. 105-120 - Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas:
Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems. 121-153 - Ryo Ishigaki, Ryo Kashima:
Sequent Calculi for Some Strict Implication Logics. 155-174 - Linh Anh Nguyen:
Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics. 175-193 - Didier Dubois:
On Ignorance and Contradiction Considered as Truth-Values. 195-216
Volume 16, Number 3, June 2008
- George Voutsadakis:
Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions. 233-248 - Emil Jerábek:
Independent Bases of Admissible Rules. 249-267 - Iris Loeb:
Indecomposability of R and R\{0} in Constructive Reverse Mathematics. 269-273 - Gemma Robles:
The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant. 275-291 - Thomas Ågotnes, Michal Walicki:
Complete Axiomatisations of Properties of Finite Sets. 293-313
Volume 16, Number 4, August 2008
- Wolfgang Bibel:
Transition Logic Revisited. 317-334 - Tomasz Polacik:
Back and Forth Between First-Order Kripke Models. 335-355 - Benjamín René Callejas Bedregal, Anderson Paiva Cruz:
A Characterization of Classic-Like Fuzzy Semantics. 357-370 - Evan Goris, Joost J. Joosten:
Modal Matters for Interpretability Logics. 371-412
Volume 16, Number 5, October 2008
- Tarek Sayed Ahmed, Basim Samir:
The Class SNr3CAk is Not Closed Under Completions. 427-429 - Lloyd Humberstone:
Replacing Modus Ponens With One-Premiss Rules. 431-451 - Jeffrey S. Olson, James G. Raftery, Clint J. van Alten:
Structural Completeness in Substructural Logics. 453-495
Volume 16, Number 6, December 2008
- Dov M. Gabbay, Amir Pnueli:
A Sound and Complete Deductive System for CTL* Verification. 499-536 - Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay:
Cut-Based Abduction. 537-560 - Seyed Mohammad Bagheri, Massoud Pourmahdian:
Elementary Amalgamation and Joint Embedding Property for Intermediate Logics. 561-583 - Igor Carboni Oliveira, Walter Alexandre Carnielli:
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories. 585-590 - Costas D. Koutras, Christos Nomikos, Pavlos Peppas:
On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief. 591-604
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
